We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c1a7ff7 commit 39ade4eCopy full SHA for 39ade4e
tests/neg/i7459.scala
@@ -2,7 +2,7 @@ object Foo {
2
inline def summon[T](x: T): T = x match {
3
case t: T => t
4
}
5
- println(summon)
+ println(summon) // error
6
7
8
import scala.deriving._
@@ -14,7 +14,7 @@ inline def summon[T](given t:T): T = t match {
14
15
inline def summonAll[T <: Tuple]: List[Eq[_]] = inline erasedValue[T] match {
16
case _: Unit => Nil
17
- case _: (t *: ts) => summon[Eq[t]] :: summonAll[ts]
+ case _: (t *: ts) => summon[Eq[t]] :: summonAll[ts] // error
18
19
20
trait Eq[T] {
0 commit comments