wip

Author: nicolasstucki

compiler/src/dotty/tools/dotc/config/Printers.scala

@@ -47,18 +47,9 @@ object Printers {
   val variances = noPrinter
 }
 
-
-// tests/pos/quoted-var.scala failed
-// tests/pos/i4774e.scala failed
-// tests/pos/i7405.scala failed
-// tests/pos/i7405b.scala failed
-// tests/pos/i4774f.scala failed
-// tests/pos/quoted-var.scala failed
-
 // tests/run-macros/i7519c failed
 // tests/run-macros/quote-matching-optimize-2 failed
 // tests/run-macros/quote-matcher-symantics-3 failed
-// tests/run-macros/i7048 failed
 // tests/run-macros/i5941 failed
 // tests/run-macros/quote-matching-optimize-1 failed
 // tests/run-macros/i8007 failed

compiler/src/dotty/tools/dotc/core/quoted/PickledQuotes.scala

@@ -96,7 +96,7 @@ object PickledQuotes {
           end if
           val tree1 = super.transform(tree)
           spliceTypes match
-            case Some(f) => tree1.withType(f(tree.tpe))
+            case Some(f) => tree1.withType(f(tree1.tpe))
             case None => tree1
       }
     }

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

@@ -341,8 +341,6 @@ class ReifyQuotes extends MacroTransform {
               case info @ ClassInfo(_, _, classParents, _, _) => classParents.reduce(_ & _)
               case info => info.hiBound
             apply(hiBound)
-          case tp @ TermRef(NoPrefix, _) =>
-            apply(tp.widenTermRefExpr)
           case tp =>
             mapOver(tp)
       }