src/test/ui/privacy/private-in-public-non-principal-2.rs

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