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