Test that $t is upper bounded by Tuple

nicolasstucki · nicolasstucki · commit 7e3dd15d59db · 2019-12-03T16:48:36.000+01:00
diff --git a/tests/pos/i7264.scala b/tests/pos/i7264.scala
@@ -2,5 +2,6 @@ import scala.quoted._
 class Foo {
   def f[T2](t: Type[T2])(given QuoteContext) = t match {
     case '[ *:[Int, $t] ] =>
+      '[ *:[Int, $t] ]
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -2,5 +2,6 @@ import scala.quoted._`
`2`	`2`	`class Foo {`
`3`	`3`	`def f[T2](t: Type[T2])(given QuoteContext) = t match {`
`4`	`4`	`case '[ *:[Int, $t] ] =>`
	`5`	`+ '[ *:[Int, $t] ]`
`5`	`6`	`}`
`6`	`7`	`}`