14 lines
358 B
Rust
14 lines
358 B
Rust
|
#![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 => {} } }
|