Tipi volatili Scala: come è @uncheckedStable non sicuro?

Question

So che tipi volatili Scala ci sono per modellare

la possibilità che un parametro di tipo o un'istanza tipo astratto di un tipo non ha una valore non nullo

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

Ma qual è il problema con questo esattamente? C'è un esempio che utilizza @uncheckedStable (vedi http://www.scala-lang.org/files/archive/spec/2.11/11-annotations.html#scala-compiler-annotations) che produce codice non sicuro?

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 

(. Sulla base di risposta di retronym a Cannot override a type with non-volatile upper bound)