blob: b8dedd7e11cd36482dc01fb9cc00dbcbd68d3b59 [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() {}