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

   1 // build-pass (FIXME(62277): could be check-pass?)
   2 // pretty-expanded FIXME #23616
   3
   4 trait Base {
   5     fn dummy(&self) { }
   6 }
   7 trait AssocA {
   8     type X: Base;
   9     fn dummy(&self) { }
  10 }
  11 trait AssocB {
  12     type Y: Base;
  13     fn dummy(&self) { }
  14 }
  15 impl<T: AssocA> AssocB for T {
  16     type Y = <T as AssocA>::X;
  17 }
  18
  19 fn main() {}