tests/ui/trait-bounds/restrict-assoc-type-of-generic-bound.fixed


1
2
3
4
5
6
7
8
9
10
11

// run-rustfix
pub trait MyTrait {
    type T;

    fn bar(self) -> Self::T;
}

pub fn foo<A: MyTrait<T = B>, B>(a: A) -> B {
    return a.bar(); //~ ERROR mismatched types
}
fn main() {}