src/test/ui/issues/issue-18389.rs

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