// error-pattern: precondition constraint

fn main() { let x: bool; while x { } }