Merge pull request #6888 from dotty-staging/fix-#5006-2

Fix #5006: Normalize prefixes of TypeApply in Erasure

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala

@@ -156,8 +156,10 @@ object TypeTestsCasts {
   }
 
   def interceptTypeApply(tree: TypeApply)(implicit ctx: Context): Tree = trace(s"transforming ${tree.show}", show = true) {
-    tree.fun match {
-      case fun @ Select(expr, selector) =>
+    /** Intercept `expr.xyz[XYZ]` */
+    def interceptWith(expr: Tree): Tree = {
+      if (expr.isEmpty) tree
+      else {
         val sym = tree.symbol
 
         def isPrimitive(tp: Type) = tp.classSymbol.isPrimitiveValueClass
@@ -172,7 +174,7 @@ object TypeTestsCasts {
         def foundCls = effectiveClass(expr.tpe.widen)
 
         def inMatch =
-          fun.symbol == defn.Any_typeTest ||  // new scheme
+          tree.fun.symbol == defn.Any_typeTest ||  // new scheme
           expr.symbol.is(Case)                // old scheme
 
         def transformIsInstanceOf(expr: Tree, testType: Type, flagUnrelated: Boolean): Tree = {
@@ -306,9 +308,16 @@ object TypeTestsCasts {
         else if (sym.isTypeCast)
           transformAsInstanceOf(erasure(tree.args.head.tpe))
         else tree
-
-      case _ =>
-        tree
+      }
+    }
+    val expr = tree.fun match {
+      case Select(expr, _) => expr
+      case i: Ident =>
+        val expr = desugarIdentPrefix(i)
+        if (expr.isEmpty) expr
+        else expr.withSpan(i.span)
+      case _ => EmptyTree
     }
+    interceptWith(expr)
   }
 }

tests/pending/fuzzy/RE-96bd93de803119f21ab5d429b0ce0793869d86c5.scala renamed to tests/fuzzy/RE-96bd93de803119f21ab5d429b0ce0793869d86c5.scala

@@ -0,0 +1,11 @@
+object i0 {
+  def f: Int = asInstanceOf[Int].toInt
+}
+
+class i2 {
+  def f: Int = asInstanceOf[Int].toInt
+}
+
+trait i3 {
+  def f: Int = asInstanceOf[Int].toInt
+}