[NI] Pass resulting constraint system for error candidate

compiler/testData/diagnostics/tests/regressions/correctResultSubstitutorForErrorCandidate.kt

@@ -0,0 +1,9 @@
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+
+fun test(a: Int, b: Boolean) {
+    <!TYPE_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>bar<!>(a.<!TYPE_INFERENCE_PARAMETER_CONSTRAINT_ERROR!>foo<!>(<!TYPE_MISMATCH!>b<!>))
+}
+
+fun <T, R> T.foo(l: (T) -> R): R = TODO()
+
+fun <S> bar(a: S) {}

compiler/testData/diagnostics/tests/regressions/correctResultSubstitutorForErrorCandidate.txt

@@ -0,0 +1,5 @@
+package
+
+public fun </*0*/ S> bar(/*0*/ a: S): kotlin.Unit
+public fun test(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Boolean): kotlin.Unit
+public fun </*0*/ T, /*1*/ R> T.foo(/*0*/ l: (T) -> R): R