Add tests for #14182

Author: nicolasstucki

tests/pos-macros/i14182/Macro_1.scala

@@ -0,0 +1,3 @@
+import scala.quoted._
+def fooImpl(xs: Expr[(Int, Int)])(using Quotes): Expr[Unit] =
+  '{ val a: Int = $xs._1; }

tests/pos-macros/i14182/Test_2.scala

@@ -0,0 +1,3 @@
+inline def foo(inline xs: (Int, Int)): Unit = ${ fooImpl('xs) }
+def fail = foo(1 *: 2 *: EmptyTuple)
+def ok = foo((1, 2))

tests/pos/i14182.scala

@@ -0,0 +1,3 @@
+inline def foo(inline xs: (Int, Int)): Unit = { val a: Int = xs._1; }
+def fail = foo(1 *: 2 *: EmptyTuple)
+def ok = foo((1, 2))

tests/pos/i14182a.scala

@@ -0,0 +1,3 @@
+inline def foo(xs: (Int, Int)): Unit = { val a: Int = xs._1; }
+def fail = foo(1 *: 2 *: EmptyTuple)
+def ok = foo((1, 2))

tests/pos/i14182b.scala

@@ -0,0 +1,4 @@
+inline def foo(inline xs: (Int, Int)): xs.type = { val a: Int = xs._1; xs }
+def bar =
+  val tup: 1 *: 2 *: EmptyTuple = ???
+  val tup2: tup.type = foo(tup)

tests/pos/i14182c.scala

@@ -0,0 +1,3 @@
+inline def foo(xs: => (Int, Int)): Unit = { val a: Int = xs._1; }
+def bar =
+  foo(1 *: 2 *: EmptyTuple)