| #![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 => {} } } |