never-search.rs

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