]>
Commit | Line | Data |
---|---|---|
1a4d82fc | 1 | use std::any::Any; |
85aaf69f | 2 | use std::any::TypeId; |
1a4d82fc | 3 | |
e9174d1e | 4 | trait Private<P, R> { |
1a4d82fc JJ |
5 | fn call(&self, p: P, r: R); |
6 | } | |
476ff2be SL |
7 | pub trait Public: Private< |
8 | //~^ ERROR private trait `Private<<Self as Public>::P, <Self as Public>::R>` in public interface | |
1a4d82fc | 9 | <Self as Public>::P, |
1a4d82fc JJ |
10 | <Self as Public>::R |
11 | > { | |
12 | type P; | |
13 | type R; | |
14 | ||
15 | fn call_inner(&self); | |
16 | } | |
17 | ||
18 | fn main() {} |