13 fn get_b(&self) -> &Self::B;
16 fn test_bar<A, B: Bar<A>>(_: &B) {}
18 fn test<A, F: Foo<A = A>>(f: &F) {
25 type B: Bar1<Self::A>;
28 fn test1<T, U>() where T: Caz1, U: Caz1<A = T::A> {}
33 type B: Bar2<Self::A>;
35 fn test2<T: Caz2<A = ()>>() {}