Add test

Test does not compile with type annotations uncommented.

Author: milessabin

tests/run/quote-toExprOfTuple/Macro_1.scala

@@ -0,0 +1,14 @@
+import scala.quoted._
+
+object Macro {
+  inline def t2[T0, T1](t0: T0, t1: T1)/*: (T0, T1) */ = ${ impl2('{t0}, '{t1}) }
+
+  def impl2[T0: Type, T1: Type](t0: Expr[T0], t1: Expr[T1]) given (qctx: QuoteContext)/*: Expr[(T0, T1)]*/ = {
+    import qctx.tasty._
+    import util._
+
+    val seq = List(t0, t1)
+    val res = seq.toExprOfTuple
+    res//.cast[(T0, T1)]
+  }
+}

tests/run/quote-toExprOfTuple/Test_2.scala

@@ -0,0 +1,5 @@
+object Test extends App {
+  val t2 = Macro.t2(23, "foo")
+  val t2a/*: (Int, String)*/ = t2
+  assert(t2a == (23, "foo"))
+}