1 #![feature(never_type)]
4 let val: ! = loop { break break; };
5 //~^ ERROR mismatched types
11 break 123; //~ ERROR mismatched types
16 break "asdf"; //~ ERROR mismatched types
19 let _: i32 = 'outer_loop: loop {
21 break 'outer_loop "nope"; //~ ERROR mismatched types
26 'while_loop: while true { //~ WARN denote infinite loops with
28 break (); //~ ERROR `break` with value from a `while` loop
30 break 'while_loop 123;
31 //~^ ERROR `break` with value from a `while` loop
37 while let Some(_) = Some(()) {
38 if break () { //~ ERROR `break` with value from a `while` loop
42 while let Some(_) = Some(()) {
44 //~^ ERROR `break` with value from a `while` loop
47 'while_let_loop: while let Some(_) = Some(()) {
49 break 'while_let_loop "nope";
50 //~^ ERROR `break` with value from a `while` loop
56 break (); //~ ERROR `break` with value from a `for` loop
58 //~^ ERROR `break` with value from a `for` loop
61 'for_loop: for _ in &[1,2,3] {
64 break 'for_loop Some(17);
65 //~^ ERROR `break` with value from a `for` loop
69 let _: i32 = 'a: loop {
70 let _: () = 'b: loop {
73 break 'c 123; //~ ERROR mismatched types
80 break (break, break); //~ ERROR mismatched types
85 break 2; //~ ERROR mismatched types
90 break; //~ ERROR mismatched types
94 'LOOP: for _ in 0 .. 9 {
96 //~^ ERROR cannot find value `LOOP` in this scope