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


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, B>(a: A) -> B {
    return a.bar(); //~ ERROR mismatched types
}
fn main() {}