1 // Private types and traits are not allowed in interfaces of associated types.
2 // This test also ensures that the checks are performed even inside private modules.
3 
4 #![feature(associated_type_defaults)]
5 #![feature(type_alias_impl_trait)]
6 
7 mod m {
8     struct Priv;
9     trait PrivTr {}
10     impl PrivTr for Priv {}
11     pub trait PubTrAux1<T> {}
12     pub trait PubTrAux2 {
13         type A;
14     }
15     impl<T> PubTrAux1<T> for u8 {}
16     impl PubTrAux2 for u8 {
17         type A = Priv;
18         //~^ ERROR private type `Priv` in public interface
19     }
20 
21     // "Private-in-public in associated types is hard error" in RFC 2145
22     // applies only to the aliased types, not bounds.
23     pub trait PubTr {
24         type Alias1: PrivTr;
25         //~^ WARN private trait `PrivTr` in public interface
26         //~| WARN this was previously accepted
27         type Alias2: PubTrAux1<Priv> = u8;
28         //~^ WARN private type `Priv` in public interface
29         //~| WARN this was previously accepted
30         type Alias3: PubTrAux2<A = Priv> = u8;
31         //~^ WARN private type `Priv` in public interface
32         //~| WARN this was previously accepted
33 
34         type Alias4 = Priv;
35         //~^ ERROR private type `Priv` in public interface
36 
37         type Exist;
infer_exist() -> Self::Exist38         fn infer_exist() -> Self::Exist;
39     }
40     impl PubTr for u8 {
41         type Alias1 = Priv;
42         //~^ ERROR private type `Priv` in public interface
43 
44         type Exist = impl PrivTr;
45         //~^ ERROR private trait `PrivTr` in public interface
46         fn infer_exist() -> Self::Exist {
47             Priv
48         }
49     }
50 }
51 
main()52 fn main() {}
53