14 lines
330 B
Rust
14 lines
330 B
Rust
#![feature(optin_builtin_traits)]
|
|
|
|
#[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 `m::PrivNonPrincipal` is private
|
|
}
|