// Previously, the while loop with an assignment statement (mistakenly) as the condition
// which has a place expr as the LHS would trigger an ICE in typeck.
// Reduced from https://github.com/rust-lang/rust/issues/112385.

fn main() {
    let foo = Some(());
    while Some(foo) = None {}
    //~^ ERROR mismatched types
}