Fix erroneous isInstanceOf test in compiler

odersky · odersky · commit c0057b680e93 · 2022-03-19T17:19:15.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala b/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala
@@ -418,7 +418,7 @@ class TreeChecker extends Phase with SymTransformer {
     }
 
     override def typedSuper(tree: untpd.Super, pt: Type)(using Context): Tree =
-      assert(tree.qual.tpe.isInstanceOf[ThisType], i"expect prefix of Super to be This, actual = ${tree.qual}")
+      assert(tree.qual.typeOpt.isInstanceOf[ThisType], i"expect prefix of Super to be This, actual = ${tree.qual}")
       super.typedSuper(tree, pt)
 
     override def typedTyped(tree: untpd.Typed, pt: Type)(using Context): Tree =

Original file line number	Diff line number	Diff line change
`@@ -418,7 +418,7 @@ class TreeChecker extends Phase with SymTransformer {`
`418`	`418`	`}`
`419`	`419`
`420`	`420`	`override def typedSuper(tree: untpd.Super, pt: Type)(using Context): Tree =`
`421`		`- assert(tree.qual.tpe.isInstanceOf[ThisType], i"expect prefix of Super to be This, actual = ${tree.qual}")`
	`421`	`+ assert(tree.qual.typeOpt.isInstanceOf[ThisType], i"expect prefix of Super to be This, actual = ${tree.qual}")`
`422`	`422`	`super.typedSuper(tree, pt)`
`423`	`423`
`424`	`424`	`override def typedTyped(tree: untpd.Typed, pt: Type)(using Context): Tree =`