Add test case and fix interpreted TypeApply

Author: nicolasstucki

compiler/src/dotty/tools/dotc/interpreter/Interpreter.scala

@@ -63,11 +63,7 @@ class Interpreter(implicit ctx: Context) {
    *  If some error is encountered while interpreting a ctx.error is emitted and a StopInterpretation is thrown.
    */
   private def interpretTreeImpl(tree: Tree, env: Env): Object = {
-    ctx.debuglog(
-      s"""Interpreting:
-        |${tree.show}
-        |$env
-      """.stripMargin)
+    // println(s"Interpreting:\n${tree.show}\n$env\n")
 
     implicit val pos: Position = tree.pos
 
@@ -114,6 +110,9 @@ class Interpreter(implicit ctx: Context) {
         val env2 = bindings.foldLeft(env)((acc, x) => interpretStat(x, acc))
         interpretTreeImpl(expansion, env2)
 
+      case TypeApply(fn, _) =>
+        interpretTreeImpl(fn, env)
+
       case Typed(expr, _) =>
         interpretTreeImpl(expr, env)
 
@@ -129,7 +128,7 @@ class Interpreter(implicit ctx: Context) {
       case _ =>
         // TODO Add more precise descriptions of why it could not be interpreted.
         // This should be done after the full interpreter is implemented.
-        throw new StopInterpretation(s"Could not interpret ${tree.show}. Consider extracting logic into a helper def.", tree.pos)
+        throw new StopInterpretation(s"Could not interpret ${tree.show}. Consider extracting logic into a helper def.\n$tree\n", tree.pos)
     }
   }
 

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

@@ -16,10 +16,7 @@ object Splicer {
    */
   def splice(tree: Tree)(implicit ctx: Context): Tree = tree match {
     case Quoted(quotedTree) => quotedTree
-    case tree: RefTree => reflectiveSplice(tree)
-    case tree: Apply => reflectiveSplice(tree)
-    case tree: Inlined => reflectiveSplice(tree)
-    case tree: Block => reflectiveSplice(tree)
+    case _ => reflectiveSplice(tree)
   }
 
   /** Splice the Tree for a Quoted expression which is constructed via a reflective call to the given method */

tests/pos/i4023b/Macro_1.scala

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

tests/pos/i4023b/Test_2.scala

@@ -0,0 +1,3 @@
+object Test {
+  Macro.ff[Int]
+}