#![feature(auto_traits)]#![feature(negative_impls)]autotraitMyTrait{}impl<T>!MyTraitfor*mutT{}structMyS;structMyS2;impl!MyTraitforMyS2{}structMyS3;fnis_mytrait<T: MyTrait>(){}fnmain(){is_mytrait::<MyS>();is_mytrait::<MyS2>();//~^ ERROR `MyS2: MyTrait` is not satisfied}