blob: bfe464ad632372152daa298c5613fe47407ccc20 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
import language.dynamics
class C(v: Any) extends Dynamic {
def selectDynamic[T](n: String): Option[T] = Option(v.asInstanceOf[T])
def applyDynamic[T](n: String)(): Option[T] = Option(v.asInstanceOf[T])
}
object Test extends dotty.runtime.LegacyApp {
// this should be converted to
// C(42).selectDynamic[Int]("foo").get
// but, before fixing SI-6663, became
// C(42).selectDynamic[Nothing]("foo").get
// leading to a ClassCastException
var v = new C(42).foo[Int].get
println(v)
}
|