tests/ui/typeck/while-type-error.rs

//@ error-pattern: mismatched types

fn main() { while main { } }