Wip

Author: nicolasstucki

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

@@ -152,8 +152,8 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
       // TODO move logic to levelOK
       val a = //tp.isInstanceOf[ThisType] ||
         tp.isInstanceOf[ThisType] || // heal references to `this.type`
-        (sym.isType && sym.is(Param)) // heal references of type parameters
-//      !sym.maybeOwner.isType
+        (sym.isType && sym.is(Param)) || // heal references of type parameters
+        !sym.maybeOwner.isType
 //      println("===============")
 //      println(a)
 //      println()