1 2 3 4 5 6 7 8 9
#![feature(never_type)] fn foo() -> Result<u32, !> { Ok(123) } fn main() { let Ok(_x) = foo(); //~ ERROR refutable pattern in local binding }