// error-pattern: precondition constraint

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