// error-pattern: mismatched types

fn main() { while main { } }