blob: 6818d286d9b12edd2291249b1e0da31975029bf1 (
plain) (
tree)
|
|
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 App {
// 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)
}
|