#![feature(never_type)]

fn assert_copy<T:Copy>(){}
fn assert_clone<T:Clone>(){}

fn main() {
    assert_copy::<!>();
    assert_clone::<!>();
}