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 main()16fn main() {} 17