WIP stged type with macro

Author: nicolasstucki

tests/pos/i4023c/Macro_1.scala

@@ -0,0 +1,5 @@
+import scala.quoted._
+object Macro {
+  inline def ff[T](x: T): T = ~impl('(x), '[T])
+  def impl[T](x: Expr[T], t: Type[T]): Expr[T] = '{ (~x): ~t }
+}

tests/pos/i4023c/Test_2.scala

@@ -0,0 +1,7 @@
+object Test {
+  Macro.ff(3)
+
+  def f[T](x: T) = {
+    Macro.ff(x)
+  }
+}