22 lines
620 B
Rust
22 lines
620 B
Rust
#![feature(auto_traits)]
|
|
#![feature(negative_impls)]
|
|
#![allow(non_local_definitions)]
|
|
|
|
pub trait PubPrincipal {}
|
|
auto trait PrivNonPrincipal {}
|
|
|
|
pub fn leak_dyn_nonprincipal() -> Box<dyn PubPrincipal + PrivNonPrincipal> { loop {} }
|
|
//~^ WARN trait `PrivNonPrincipal` is more private than the item `leak_dyn_nonprincipal`
|
|
|
|
#[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() {}
|