We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c00f214 commit 3d8a70fCopy full SHA for 3d8a70f
tests/neg/i20265-1.check
@@ -0,0 +1,5 @@
1
+-- Error: tests/neg/i20265-1.scala:4:6 ---------------------------------------------------------------------------------
2
+4 | def apply(args: Tuple.Map[m.MirroredElemTypes, Expr]): Expr[T] = ??? // error
3
+ | ^
4
+ | non-private method apply in trait Ops refers to private given instance m
5
+ | in its type signature (args: Tuple.Map[Ops.this.m.MirroredElemTypes, Expr]): Expr[T]
tests/neg/i20265-1.scala
@@ -0,0 +1,9 @@
+trait Expr[T]
+
+trait Ops[T](using m: scala.deriving.Mirror.ProductOf[T]) {
+ def apply(args: Tuple.Map[m.MirroredElemTypes, Expr]): Expr[T] = ??? // error
+}
6
7
+case class P(a: Int)
8
+object P extends Ops[P]
9
0 commit comments