Fix interpretation of inlined sequence literals

Author: nicolasstucki

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

@@ -318,7 +318,10 @@ object Splicer {
 
       case Inlined(EmptyTree, Nil, expansion) => interpretTree(expansion)
 
-      case Typed(SeqLiteral(elems, _), _) =>
+      case Typed(expr, _) =>
+        interpretTree(expr)
+
+      case SeqLiteral(elems, _) =>
         interpretVarargs(elems.map(e => interpretTree(e)))
 
       case _ =>

compiler/test/dotc/run-test-pickling.blacklist

@@ -22,6 +22,7 @@ i4803f
 i4947b
 i5119
 i5119b
+i5188a
 inline-varargs-1
 implicitShortcut
 inline-case-objects

tests/run/i5188a.check

@@ -0,0 +1,4 @@
+0
+1
+3
+6

tests/run/i5188a/Macro_1.scala

@@ -0,0 +1,6 @@
+import scala.quoted._
+
+object Lib {
+  inline def sum(inline args: Int*): Int = ~impl(args: _*)
+  def impl(args: Int*): Expr[Int] = args.sum.toExpr
+}

tests/run/i5188a/Test_2.scala

@@ -0,0 +1,9 @@
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    println(Lib.sum())
+    println(Lib.sum(1))
+    println(Lib.sum(1, 2))
+    println(Lib.sum(1, 2, 3))
+  }
+}