1 #![feature(auto_traits)]
2 #![feature(negative_impls)]
4 #[allow(private_in_public)]
6 pub trait PubPrincipal {}
7 auto trait PrivNonPrincipal {}
8 pub fn leak_dyn_nonprincipal() -> Box<dyn PubPrincipal + PrivNonPrincipal> { loop {} }
12 m::leak_dyn_nonprincipal();
13 //~^ ERROR trait `PrivNonPrincipal` is private