]> git.lizzy.rs Git - rust.git/blob - src/test/ui/associated-type-bounds/handle-predicates-that-can-define-assoc-type.rs
Rollup merge of #93112 - pietroalbini:pa-cve-2022-21658-nightly, r=pietroalbini
[rust.git] / src / test / ui / associated-type-bounds / handle-predicates-that-can-define-assoc-type.rs
1 // check-pass
2
3 trait Foo<T> {}
4 trait Bar {
5     type A;
6     type B;
7 }
8 trait Baz: Bar<B = u32> + Foo<Self::A> {}
9
10 fn main() {}