1 2 3 4 5
// error-pattern:unsatisfied precondition constraint fn test() { let w: [int]; w[5] = 0; } fn main() { test(); }