wip

Author: nicolasstucki

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

@@ -150,7 +150,12 @@ class Splicing extends MacroTransform {
         case tree: RefTree =>
           if tree.isTerm then
             if quoteDefs.contains(tree.symbol) then
-                  splicedTerm(tree).spliced(tree.tpe.widenTermRefExpr)
+              val tree1 = splicedTerm(tree)
+              val tpe = tree.tpe.widenTermRefExpr match {
+                case tpw: MethodicType => tpw.toFunctionType(isJava = false)
+                case tpw => tpw
+              }
+              tree1.spliced(tpe)
             else super.transform(tree)
           else // tree.isType then
             if containsCapturedType(tree.tpe) then