WIP

Author: nicolasstucki

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

@@ -564,13 +564,13 @@ class ReifyQuotes extends MacroTransformWithImplicits with InfoTransformer {
     /** Transforms the return type
      *    inline def foo(...): X = ~(...)
      *  to
-     *    inline def foo(...): Object = (args: Seq[Any]) => ...
+     *    inline def foo(...): Seq[Any] => Object = (args: Seq[Any]) => ...
      */
     def transform(tp: Type): Type = tp match {
       case tp: PolyType => PolyType(tp.paramNames, tp.paramInfos, transform(tp.resType))
       case tp: MethodType => MethodType(tp.paramNames, tp.paramInfos, transform(tp.resType))
-      case _: ExprType => ExprType(defn.ObjectType)
-      case _ => defn.ObjectType
+      case tp: ExprType => ExprType(transform(tp.resType))
+      case _ => defn.FunctionType(1).appliedTo(defn.SeqType.appliedTo(defn.AnyType), defn.ObjectType)
     }
     transform(tp)
   }