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 3922954 commit 0db70abCopy full SHA for 0db70ab
tests/pos/dependent-extractors.scala
@@ -10,5 +10,5 @@ object Test {
10
val y1: Int = y
11
12
val z = (c: Any) match { case X(y) => y }
13
- val z1: C#T = z // error: z has type Any TODO: find out why
+ val z1: C#T = z
14
}
0 commit comments