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

#![feature(optin_builtin_traits)]
#![feature(negative_impls)]

pub trait PubPrincipal {}
auto trait PrivNonPrincipal {}

pub fn leak_dyn_nonprincipal() -> Box<dyn PubPrincipal + PrivNonPrincipal> { loop {} }
//~^ WARN private trait `PrivNonPrincipal` in public interface
//~| WARN this was previously accepted

#[deny(missing_docs)]
fn container() {
    impl dyn PubPrincipal {
        pub fn check_doc_lint() {} //~ ERROR missing documentation for an associated function
    }
    impl dyn PubPrincipal + PrivNonPrincipal {
        pub fn check_doc_lint() {} // OK, no missing doc lint
    }
}

fn main() {}
Commit	Line	Data
0731742a	1	#![feature(optin_builtin_traits)]
ba9703b0	2	#![feature(negative_impls)]
0731742a XL	3
	4	pub trait PubPrincipal {}
	5	auto trait PrivNonPrincipal {}
	6
dc9dc135	7	pub fn leak_dyn_nonprincipal() -> Box<dyn PubPrincipal + PrivNonPrincipal> { loop {} }
0731742a XL	8	//~^ WARN private trait `PrivNonPrincipal` in public interface
	9	//~\| WARN this was previously accepted
	10
	11	#[deny(missing_docs)]
	12	fn container() {
	13	impl dyn PubPrincipal {
ba9703b0	14	pub fn check_doc_lint() {} //~ ERROR missing documentation for an associated function
0731742a XL	15	}
	16	impl dyn PubPrincipal + PrivNonPrincipal {
	17	pub fn check_doc_lint() {} // OK, no missing doc lint
	18	}
	19	}
	20
	21	fn main() {}