auto trait MyTrait {}
//~^ ERROR auto traits are experimental and possibly buggy
impl<T> !MyTrait for *mut T {}
//~^ ERROR negative trait bounds are not fully implemented
fn main() {}