]>
Commit | Line | Data |
---|---|---|
fc512014 | 1 | #![feature(auto_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() {} |