We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ac9660a commit 806ed22Copy full SHA for 806ed22
tests/pos/i7358.scala
@@ -3,7 +3,7 @@ package test
3
import scala.quoted._
4
import scala.compiletime._
5
6
-inline def summonT[Tp <: Tuple] <: Tuple = inline erasedValue[Tp] match {
+inline def summonT[Tp <: Tuple](given QuoteContext) <: Tuple = inline erasedValue[Tp] match {
7
case _ : Unit => ()
8
case _ : (hd *: tl) => {
9
type H = hd
@@ -13,4 +13,4 @@ inline def summonT[Tp <: Tuple] <: Tuple = inline erasedValue[Tp] match {
13
}
14
15
16
-def test[T : Type] = summonT[Tuple1[List[T]]]
+def test[T : Type](given QuoteContext) = summonT[Tuple1[List[T]]]
0 commit comments