We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4d4898e commit 422ae18Copy full SHA for 422ae18
tests/neg-custom-args/captures/capture-vars-subtyping.scala
@@ -28,7 +28,7 @@ def testTrans[C^, D >: CapSet <: C, E >: CapSet <: D, F >: C <: CapSet^] =
28
val c4: C = f1 // error
29
val e4: E = f1 // error
30
val e5: E = d1 // error
31
- val c4: CapSet^{C^} = e1
+ val c5: CapSet^{C^} = e1
32
33
34
trait A[+T]
0 commit comments