tests/ui/wf/issue-103573.rs

   1 trait TraitA {
   2     type TypeA;
   3 }
   4
   5 trait TraitD {
   6     type TypeD;
   7 }
   8
   9 pub trait TraitB {
  10     type TypeB: TraitD;
  11
  12     fn f(_: &<Self::TypeB as TraitD>::TypeD);
  13 }
  14
  15 pub trait TraitC<E> {
  16     type TypeC<'a>: TraitB;
  17
  18     fn g<'a>(_: &<<Self::TypeC<'a> as TraitB>::TypeB as TraitA>::TypeA);
  19     //~^ ERROR the trait bound `<<Self as TraitC<E>>::TypeC<'a> as TraitB>::TypeB: TraitA` is not satisfied
  20 }
  21
  22 fn main() {}