src/test/ui/mir/mir_codegen_call_converging.rs

   1 // run-pass
   2 fn converging_fn() -> u64 {
   3     43
   4 }
   5
   6 fn mir() -> u64 {
   7     let x;
   8     loop {
   9         x = converging_fn();
  10         break;
  11     }
  12     x
  13 }
  14
  15 fn main() {
  16     assert_eq!(mir(), 43);
  17 }