1 2 3 4 5 6 7 8 9 10
// error-pattern: Unsatisfied precondition constraint fn test() { let vec[int] w; w.(5) = 0; } fn main() { test(); }