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 fa79a0e commit 08de553Copy full SHA for 08de553
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