1 2 3 4 5 6 7 8
// xfail-stage0 // error-pattern: precondition constraint fn main() { let bool x; while(x) { } }