We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f75f6dc commit 8e4aa19Copy full SHA for 8e4aa19
tests/init/warn/type-filter2.scala
@@ -13,7 +13,7 @@ class C(x: Int):
13
14
val c: A = a.asInstanceOf[A] // abstraction for c is {A, B}
15
val d = c.f // treat as c.asInstanceOf[owner of f].f
16
- val e = c.m() // treat as c.asInstanceOf[owner of f].m()
+ val e = c.m() // treat as c.asInstanceOf[owner of m].m()
17
val c2: B = a.asInstanceOf[B]
18
val g = c2.f // no error here
19
0 commit comments