tests/ui/borrowck/assign-never-type.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// Regression test for issue 62165

// check-pass

#![feature(never_type)]

pub fn main() {
    loop {
        match None {
            None => return,
            Some(val) => val,
        };
    };
}