Skip to content

Commit 7e53210

Browse files
committed
Update test
1 parent ae2a5dc commit 7e53210

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

tests/pos-custom-args/captures/i23737.scala

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,8 @@ trait A[T]
77
trait B[CC^] extends A[C^{CC}] // error: CC not found
88

99
trait D[CC^]:
10-
val x: Object^{CC} = ???
10+
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

Comments
 (0)