[rustc.git] / src / test / ui / issues / issue-27042.rs

// Regression test for #27042. Test that a loop's label is included in its span.

fn main() {
    let _: i32 =
        'a: // in this case, the citation is just the `break`:
        loop { break }; //~ ERROR mismatched types
    let _: i32 =
        'b: //~ ERROR mismatched types
        //~^ WARN denote infinite loops with
        while true { break }; // but here we cite the whole loop
    let _: i32 =
        'c: //~ ERROR mismatched types
        for _ in None { break }; // but here we cite the whole loop
    let _: i32 =
        'd: //~ ERROR mismatched types
        while let Some(_) = None { break };
}
Commit	Line	Data
c1a9b12d SL	1	// Regression test for #27042. Test that a loop's label is included in its span.
	2
	3	fn main() {
	4	let _: i32 =
cc61c64b XL	5	'a: // in this case, the citation is just the `break`:
cc61c64b XL	6	loop { break }; //~ ERROR mismatched types
c1a9b12d SL	7	let _: i32 =
c1a9b12d SL	8	'b: //~ ERROR mismatched types
416331ca	9	//~^ WARN denote infinite loops with
cc61c64b	10	while true { break }; // but here we cite the whole loop
c1a9b12d SL	11	let _: i32 =
c1a9b12d SL	12	'c: //~ ERROR mismatched types
cc61c64b	13	for _ in None { break }; // but here we cite the whole loop
c1a9b12d SL	14	let _: i32 =
	15	'd: //~ ERROR mismatched types
	16	while let Some(_) = None { break };
	17	}