Fix #5006: Normalize prefixes of TypeApply in Erasure

Author: nicolasstucki

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

@@ -156,7 +156,11 @@ object TypeTestsCasts {
   }
 
   def interceptTypeApply(tree: TypeApply)(implicit ctx: Context): Tree = trace(s"transforming ${tree.show}", show = true) {
-    tree.fun match {
+    val treeFun = tree.fun match {
+      case i: Ident => desugarIdent(i).withSpan(tree.fun.span)
+      case t => t
+    }
+    treeFun match {
       case fun @ Select(expr, selector) =>
         val sym = tree.symbol
 

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
+}