src/test/ui/borrowck/assign-never-type.rs

   1 // Regression test for issue 62165
   2
   3 // check-pass
   4
   5 #![feature(never_type)]
   6
   7 pub fn main() {
   8     loop {
   9         match None {
  10             None => return,
  11             Some(val) => val,
  12         };
  13     };
  14 }