[rustc.git] / src / test / ui / borrowck / issue-24267-flow-exit.rs

// Ensure that we reject code when a nonlocal exit (`break`,
// `continue`) causes us to pop over a needed assignment.

pub fn main() {
    foo1();
    foo2();
}

pub fn foo1() {
    let x: i32;
    loop { x = break; }
    println!("{}", x); //~ ERROR E0381
}

pub fn foo2() {
    let x: i32;
    for _ in 0..10 { x = continue; }
    println!("{}", x); //~ ERROR E0381
}
Commit	Line	Data
9346a6ac AL	1	// Ensure that we reject code when a nonlocal exit (`break`,
	2	// `continue`) causes us to pop over a needed assignment.
	3
	4	pub fn main() {
	5	foo1();
	6	foo2();
1a4d82fc	7	}
223e47cc	8
9346a6ac AL	9	pub fn foo1() {
	10	let x: i32;
	11	loop { x = break; }
064997fb	12	println!("{}", x); //~ ERROR E0381
85aaf69f SL	13	}
85aaf69f SL	14
9346a6ac AL	15	pub fn foo2() {
	16	let x: i32;
	17	for _ in 0..10 { x = continue; }
064997fb	18	println!("{}", x); //~ ERROR E0381
223e47cc	19	}