src/test/ui/while-type-error.rs

// error-pattern: mismatched types

fn main() { while main { } }