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