wip

Author: nicolasstucki

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

@@ -148,13 +148,26 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
    */
   private def checkSymLevel(sym: Symbol, tp: Type, pos: SourcePosition)(implicit ctx: Context): Option[Tree] = {
     val isThis = tp.isInstanceOf[ThisType]
-    val shouldTryHealable = {
+    def couldBeHealed = {
       // TODO move logic to levelOK
-      tp.isInstanceOf[ThisType] ||
-      sym.is(Param) ||
-      !sym.maybeOwner.isType
+      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
+//      println("===============")
+//      println(a)
+//      println()
+//      println(sym)
+//      println(sym.isType)
+//      println(sym.flags)
+//      println()
+//      println(tp)
+//      println()
+//      println()
+//      println()
+      a
     }
-    if (sym.exists && !sym.isStaticOwner && !levelOK(sym) && shouldTryHealable)
+    if (sym.exists && !sym.isStaticOwner && !levelOK(sym) && couldBeHealed)
       tryHeal(sym, tp, pos)
     else
       None

tests/neg/quote-this.scala

@@ -15,10 +15,6 @@ class Foo {
     'this // error
   }) }
 
-  inline def j(that: Foo): Unit = ${ Foo.impl[Any]('{
-    'that // error
-  }) }
-
 }
 
 object Foo {

tests/pos/quote-this.scala

@@ -21,6 +21,14 @@ class Foo {
   inline def h(): Unit = ${ Foo.impl[Any]('this) }
   inline def i(that: Foo): Unit = ${ Foo.impl[that.type](1) }
 
+  inline def j(that: Foo): Unit = ${ Foo.impl[Any]('{
+    'that
+  }) }
+
+  inline def k(that: Foo): Unit = ${ Foo.impl[that.type]('{
+    'that
+  }) }
+
 }
 
 object Foo {