Compiler emitting a warning for unsound casts

x as Array[Int{self!=0}]

x as Array[Int]

public class Hello {
    public static def main(args: Array[String]) {
        val arr = new Array[Int{self==3}](0..100, ([p]:Point(1))=>3);
        //arr(0) = 1; // err: Cannot assign expression to array element of given type.             Expression: 1             Type: x10.lang.Int{self==1}             Array element: arr(0)             Type: x10.lang.Int{self==3}   
        arr(0) = 3;
        val arrAlias = (arr as Any) as Array[Int]; // it should have failed HERE by noting that the RTT is  Array[Int{SOMETHING_THAT_WAS_ERASED}]
        arrAlias(0) = 1;
        val x:Int{self==3} = arr(0); // Broke type safety
        assert x==3 : "We should have failed before"; // but it fails HERE
    }
}