blob: ada4e1778a562eef233bd584007027c259aae6cb [file] [log] [blame]
//@ dont-require-annotations: NOTE
fn main() {
while true { //~ WARN denote infinite loops with
true //~ ERROR mismatched types
//~| NOTE expected `()`, found `bool`
}
}