]> git.lizzy.rs Git - rust.git/blob - tests/ui/generic-associated-types/issue-88405.rs
internally change regions to be covariant
[rust.git] / tests / ui / generic-associated-types / issue-88405.rs
1 // check-pass
2
3 trait SomeTrait {}
4 trait OtherTrait {
5     type Item;
6 }
7
8 trait ErrorSimpleExample {
9     type AssociatedType: SomeTrait;
10     type GatBounded<T: SomeTrait>;
11     type ErrorMinimal: OtherTrait<Item = Self::GatBounded<Self::AssociatedType>>;
12 }
13
14 fn main() {}