src/test/ui/generic-associated-types/issue-88405.rs

   1 // check-pass
   2
   3 #![feature(generic_associated_types)]
   4
   5 trait SomeTrait {}
   6 trait OtherTrait {
   7     type Item;
   8 }
   9
  10 trait ErrorSimpleExample {
  11     type AssociatedType: SomeTrait;
  12     type GatBounded<T: SomeTrait>;
  13     type ErrorMinimal: OtherTrait<Item = Self::GatBounded<Self::AssociatedType>>;
  14 }
  15
  16 fn main() {}