]>
Commit | Line | Data |
---|---|---|
416331ca | 1 | // build-pass (FIXME(62277): could be check-pass?) |
0731742a | 2 | |
94222f64 | 3 | #![feature(type_alias_impl_trait)] |
0731742a XL |
4 | #![deny(private_in_public)] |
5 | ||
416331ca | 6 | pub type Pub = impl Default; |
0731742a XL |
7 | |
8 | #[derive(Default)] | |
9 | struct Priv; | |
10 | ||
11 | fn check() -> Pub { | |
12 | Priv | |
13 | } | |
14 | ||
9fa01778 XL |
15 | pub trait Trait { |
16 | type Pub: Default; | |
17 | fn method() -> Self::Pub; | |
18 | } | |
19 | ||
20 | impl Trait for u8 { | |
416331ca | 21 | type Pub = impl Default; |
94222f64 XL |
22 | fn method() -> Self::Pub { |
23 | Priv | |
24 | } | |
9fa01778 XL |
25 | } |
26 | ||
0731742a | 27 | fn main() {} |