Scala uçucu türleri: @uncheckedStable güvenli olmayan nedir?

Question

Scala uçucu tip bir tür parametresi veya bir tür soyut türü örnek bir boş olmayan bir değer

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

yok olasılığı

model olduğunu biliyoruz

Fakat bunun tam olarak sorunu nedir? Güvenli olmayan kod üreten @uncheckedStable (bkz. http://www.scala-lang.org/files/archive/spec/2.11/11-annotations.html#scala-compiler-annotations) kullanan bir örnek var mı?

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 

(. Cannot override a type with non-volatile upper bound için retronym cevabı dayanarak)