[rustc.git] / src / test / ui / privacy / private-in-public-non-principal-2.rs

#![feature(optin_builtin_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 `m::PrivNonPrincipal` is private
}
Commit	Line	Data
0731742a	1	#![feature(optin_builtin_traits)]
ba9703b0	2	#![feature(negative_impls)]
0731742a XL	3
	4	#[allow(private_in_public)]
	5	mod m {
	6	pub trait PubPrincipal {}
	7	auto trait PrivNonPrincipal {}
dc9dc135	8	pub fn leak_dyn_nonprincipal() -> Box<dyn PubPrincipal + PrivNonPrincipal> { loop {} }
0731742a XL	9	}
	10
	11	fn main() {
	12	m::leak_dyn_nonprincipal();
	13	//~^ ERROR trait `m::PrivNonPrincipal` is private
	14	}