Scala volatile Typen: Wie ist @uncheckedStable unsicher?

Question

Ich weiß, dass flüchtige Typen in Scala gibt es

die Möglichkeit, dass ein Typ-Parameter oder abstrakten Typ Instanz eines Typs keine Nicht-Null-Wert

(http://www.scala-lang.org/files/archive/spec/2.11/03-types.html#volatile-types)

hat zu modellieren

Aber was ist das Problem genau? Gibt es ein Beispiel, das @uncheckedStable verwendet (siehe http://www.scala-lang.org/files/archive/spec/2.11/11-annotations.html#scala-compiler-annotations), die unsicheren Code produziert?

Answer 1

object Main extends App {  
    trait A { type T = Int } 
    trait B { type T <: String } 
    def f(b: B)(t: b.T) = t.length 

    @annotation.unchecked.uncheckedStable val x: A with B = null 
    val y: x.T = 0 // legal because x is A 

    f(x)(y) 
} 

Now running... 
[info] Running Main 
java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String 

(. Basierend auf retronym Antwort auf Cannot override a type with non-volatile upper bound)