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 ed8918e commit 2ffdb02Copy full SHA for 2ffdb02
tests/pos-custom-args/captures/i23737.scala
@@ -7,4 +7,8 @@ trait A[T]
7
trait B[CC^] extends A[C^{CC}] // error: CC not found
8
9
trait D[CC^]:
10
- val x: Object^{CC} = ???
+ val x: Object^{CC} = ???
11
+
12
+def f(c: C^) =
13
+ val b = new B[{c}] {}
14
+ val a: A[C^{c}] = b
0 commit comments