Add test

Author: nicolasstucki

compiler/test/dotc/pos-test-pickling.blacklist

@@ -10,6 +10,7 @@ t3486
 t3612.scala
 reference
 scala-days-2019-slides
+i7048e.scala
 
 # Stale symbol: package object scala
 seqtype-cycle

tests/pos/i7048e.scala

@@ -0,0 +1,39 @@
+import scala.quoted.{given, _}
+
+abstract class Test {
+  type T
+
+  val T: Type[T]
+  val getT: Type[T] = T // need this to avoid getting `null`
+  given getT.type = getT
+
+  def foo with QuoteContext: Expr[Any] = {
+
+    val r = '{Option.empty[T]}
+
+    {
+      val t: Test = this
+      import t.{given}
+      println(summon[Type[t.T]].show)
+      // val r = '{Option.empty[t.T]} // access to value t from wrong staging level
+      val r2 = '{Option.empty[${t.T}]}
+    }
+
+    {
+      val r1 = '{Option.empty[${T}]} // works
+      val r2 = '{Option.empty[List[${T}]]} // works
+      // val r3 = '{summon[Type[${T}]]} // access to Test.this from wrong staging level
+      val r4 = '{summon[${T} <:< Any]}
+    }
+
+    {
+      val s = '{Option.empty[${T}]}
+      val r = '{identity($s)} // works
+      val r2 = '{identity(${s: Expr[Option[T]]})}
+    }
+
+    r
+  }
+}
+
+@main def main = ()