3 #![feature(never_type, never_type_fallback)]
4 #![feature(exhaustive_patterns)]
6 #![allow(unreachable_patterns)]
7 #![allow(unreachable_code)]
8 #![allow(unused_variables)]
12 let x: Result<!, !> = Ok(z);
25 fn bar(nevers: &[!]) {
38 let x: Result<u32, !> = Ok(123);
52 let x: Result<u32, &!> = Ok(123);
55 Err(_) => unimplemented!(),