// We used to incorrectly assign to `x` twice when generating MIR for this
// function, preventing this from compiling.
//@ check-pass
fn main() {
let x: () = while false {
break;
};
let y: () = 'l: while break 'l {};
}