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 fe470c4 commit 22440f3Copy full SHA for 22440f3
tests/neg/existentials.scala
@@ -44,7 +44,7 @@ class TestX {
44
type D[X] <: C[X]
45
46
type DD = [X] => D[D[X]]
47
- //val z: DD[_] = ??? // error: unreducible
+ val z: DD[_] = ??? // error: unreducible
48
49
val g = x.get
50
0 commit comments