// 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 | |
} |