fn assert_send<T:Send>() { }

// unsafe ptrs are ok unless they point at unsendable things
fn test70() {
    assert_send::<*mut int>();
}
fn test71<'a>() {
    assert_send::<*mut &'a int>(); //~ ERROR does not fulfill the required lifetime
}

fn main() {
}