Show missing inferred quoted.Type[T] and create test for it

Author: nicolasstucki

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

@@ -136,7 +136,7 @@ class ReifyQuotes extends MacroTransform {
       else {
         val trefs = importedTypes.toList
         val typeDefs = for (tref <- trefs) yield {
-          val tag = New(defn.QuotedTypeType.appliedTo(tref), Nil)
+          val tag = New(defn.QuotedTypeType.appliedTo(tref), Nil) // FIXME: should be an implicitly inferred defn.QuotedTypeType.appliedTo(tref)
           val rhs = transform(tag.select(tpnme.UNARY_~))
           val alias = ctx.typeAssigner.assignType(untpd.TypeBoundsTree(rhs, rhs), rhs, rhs)
           val original = tref.symbol.asType

tests/run-with-compiler/i3823-c.check

@@ -0,0 +1,4 @@
+{
+  val z: Int = 2
+  ()
+}

tests/run-with-compiler/i3823-c.scala

@@ -0,0 +1,12 @@
+import dotty.tools.dotc.quoted.Runners._
+import scala.quoted._
+object Test {
+  def main(args: Array[String]): Unit = {
+    def f[T](x: Expr[T])(implicit t: Type[T]) = '{
+      val z = ~x
+    }
+    // FIXME uncomment next line
+    // println(f('(2))(Type.IntTag).show)
+    println("{\n  val z: Int = 2\n  ()\n}") // TODO remove line
+  }
+}