Fix #9437: Skip $asInstanceOf$ in error message

compiler/src/dotty/tools/dotc/reporting/messages.scala

@@ -1279,12 +1279,20 @@ import ast.tpd
 
   class MethodDoesNotTakeParameters(tree: tpd.Tree)(using Context)
   extends TypeMsg(MethodDoesNotTakeParametersId) {
-    def methodSymbol: Symbol = tpd.methPart(tree).symbol
+    def methodSymbol: Symbol =
+      def recur(t: tpd.Tree): Symbol =
+        val sym = tpd.methPart(t).symbol
+        if sym == defn.Any_typeCast then
+          t match
+            case TypeApply(Select(qual, _), _) => recur(qual)
+            case _ => sym
+        else sym
+      recur(tree)
 
     def msg = {
       val more = if (tree.isInstanceOf[tpd.Apply]) " more" else ""
       val meth = methodSymbol
-      val methStr = if (meth.exists) methodSymbol.showLocated else "expression"
+      val methStr = if (meth.exists) meth.showLocated else "expression"
       em"$methStr does not take$more parameters"
     }
 

tests/neg/i9437.check

@@ -0,0 +1,6 @@
+-- [E050] Type Error: tests/neg/i9437.scala:7:10 -----------------------------------------------------------------------
+7 |  println(x.f1())  // error
+  |          ^^^^
+  |          method selectDynamic in trait Selectable does not take parameters
+
+longer explanation available when compiling with `-explain`

tests/neg/i9437.scala

@@ -0,0 +1,7 @@
+class Bag extends reflect.Selectable
+
+@main def Test =
+  val x = new Bag:
+    val f1 = 23
+
+  println(x.f1())  // error