src/test/ui/loops/loop-break-value.rs

   1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 #![feature(never_type)]
  12
  13 fn main() {
  14     let val: ! = loop { break break; };
  15     //~^ ERROR mismatched types
  16
  17     loop {
  18         if true {
  19             break "asdf";
  20         } else {
  21             break 123; //~ ERROR mismatched types
  22         }
  23     };
  24
  25     let _: i32 = loop {
  26         break "asdf"; //~ ERROR mismatched types
  27     };
  28
  29     let _: i32 = 'outer_loop: loop {
  30         loop {
  31             break 'outer_loop "nope"; //~ ERROR mismatched types
  32             break "ok";
  33         };
  34     };
  35
  36     'while_loop: while true {
  37         break;
  38         break (); //~ ERROR `break` with value from a `while` loop
  39         loop {
  40             break 'while_loop 123;
  41             //~^ ERROR `break` with value from a `while` loop
  42             break 456;
  43             break 789;
  44         };
  45     }
  46
  47     while let Some(_) = Some(()) {
  48         if break () { //~ ERROR `break` with value from a `while let` loop
  49         }
  50     }
  51
  52     while let Some(_) = Some(()) {
  53         break None;
  54         //~^ ERROR `break` with value from a `while let` loop
  55     }
  56
  57     'while_let_loop: while let Some(_) = Some(()) {
  58         loop {
  59             break 'while_let_loop "nope";
  60             //~^ ERROR `break` with value from a `while let` loop
  61             break 33;
  62         };
  63     }
  64
  65     for _ in &[1,2,3] {
  66         break (); //~ ERROR `break` with value from a `for` loop
  67         break [()];
  68         //~^ ERROR `break` with value from a `for` loop
  69     }
  70
  71     'for_loop: for _ in &[1,2,3] {
  72         loop {
  73             break Some(3);
  74             break 'for_loop Some(17);
  75             //~^ ERROR `break` with value from a `for` loop
  76         };
  77     }
  78
  79     let _: i32 = 'a: loop {
  80         let _: () = 'b: loop {
  81             break ('c: loop {
  82                 break;
  83                 break 'c 123; //~ ERROR mismatched types
  84             });
  85             break 'a 123;
  86         };
  87     };
  88
  89     loop {
  90         break (break, break); //~ ERROR mismatched types
  91     };
  92
  93     loop {
  94         break;
  95         break 2; //~ ERROR mismatched types
  96     };
  97
  98     loop {
  99         break 2;
 100         break; //~ ERROR mismatched types
 101         break 4;
 102     };
 103 }