tests/ui/break-diverging-value.rs

   1 #![feature(never_type)]
   2
   3 fn loop_break_return() -> i32 {
   4     let loop_value = loop { break return 0 }; // ok
   5 }
   6
   7 fn loop_break_loop() -> i32 {
   8     let loop_value = loop { break loop {} }; // ok
   9 }
  10
  11 fn loop_break_break() -> i32 { //~ ERROR mismatched types
  12     let loop_value = loop { break break };
  13 }
  14
  15 fn loop_break_return_2() -> i32 {
  16     let loop_value = loop { break { return 0; () } }; // ok
  17 }
  18
  19 enum Void {}
  20
  21 fn get_void() -> Void {
  22     panic!()
  23 }
  24
  25 fn loop_break_void() -> i32 { //~ ERROR mismatched types
  26     let loop_value = loop { break get_void() };
  27 }
  28
  29 fn get_never() -> ! {
  30     panic!()
  31 }
  32
  33 fn loop_break_never() -> i32 {
  34     let loop_value = loop { break get_never() }; // ok
  35 }
  36
  37 fn main() {}