| #![feature(never_type)] | |
| #[allow(nonstandard_style)] | |
| pub struct never; | |
| pub fn loops() -> ! { | |
| loop {} | |
| } | |
| pub fn returns() -> never { | |
| never | |
| } | |
| pub fn impossible(x: !) { | |
| match x {} | |
| } | |
| pub fn uninteresting(x: never) { | |
| match x { | |
| never => {} | |
| } | |
| } | |
| pub fn box_impossible(x: Box<!>) { | |
| match *x {} | |
| } | |
| pub fn box_uninteresting(x: Box<never>) { | |
| match *x { | |
| never => {} | |
| } | |
| } |