fn main() {
    while {} {}
    //~^ ERROR mismatched types [E0308]
}