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