blob: b3f5ad52db593083a7a4be10809238931ccd07b9 [file] [log] [blame]
// 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() {}