diff options
Diffstat (limited to 'tests/ui/privacy/private-in-public-non-principal-2.rs')
-rw-r--r-- | tests/ui/privacy/private-in-public-non-principal-2.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/privacy/private-in-public-non-principal-2.rs b/tests/ui/privacy/private-in-public-non-principal-2.rs new file mode 100644 index 000000000..db451d334 --- /dev/null +++ b/tests/ui/privacy/private-in-public-non-principal-2.rs @@ -0,0 +1,14 @@ +#![feature(auto_traits)] +#![feature(negative_impls)] + +#[allow(private_in_public)] +mod m { + pub trait PubPrincipal {} + auto trait PrivNonPrincipal {} + pub fn leak_dyn_nonprincipal() -> Box<dyn PubPrincipal + PrivNonPrincipal> { loop {} } +} + +fn main() { + m::leak_dyn_nonprincipal(); + //~^ ERROR trait `PrivNonPrincipal` is private +} |