// error-pattern: mismatched types

fn main() {
  while (main) {
  }
}