Fix #10082: show friendly error message related to type inference

The type `site` in class `NotAMember` might be an uninitialized type variable,
but is initialized when we display the error message.
It results in confusing error message as in #10082.

We avoid instantiating the type variable when there is a unreported
error in current typerstate.

Author: liufengyun

compiler/src/dotty/tools/dotc/typer/Inferencing.scala

@@ -509,6 +509,8 @@ trait Inferencing { this: Typer =>
         //     required: String
         //     val y: List[List[String]] = List(List(1))
         val hasUnreportedErrors = state.reporter.hasUnreportedErrors
+        if hasUnreportedErrors then return tree
+
         def constraint = state.constraint
         type InstantiateQueue = mutable.ListBuffer[(TypeVar, Boolean)]
         val toInstantiate = new InstantiateQueue
@@ -521,7 +523,7 @@ trait Inferencing { this: Typer =>
               typr.println(i"interpolate non-occurring $tvar in $state in $tree: $tp, fromBelow = ${tvar.hasLowerBound}, $constraint")
               toInstantiate += ((tvar, tvar.hasLowerBound))
             }
-            else if (!hasUnreportedErrors)
+            else
               if (v.intValue != 0) {
                 typr.println(i"interpolate $tvar in $state in $tree: $tp, fromBelow = ${v.intValue == 1}, $constraint")
                 toInstantiate += ((tvar, v.intValue == 1))

tests/neg/i10082.scala

@@ -0,0 +1,7 @@
+object Kotlin:
+  def it[T](using t: T) = t
+  def fun[T, U](fn: T ?=> U)(x: T): U = fn(using x)
+
+import Kotlin.{fun, it}
+
+def Test = List(1).map(fun(it + 1)) // error