// Tests that ty params get matched correctly when comparing | |
// an impl against a trait | |
// | |
// cc #26111 | |
trait A { | |
fn b<C:Clone,D>(&self, x: C) -> C; | |
} | |
struct E { | |
f: isize | |
} | |
impl A for E { | |
// n.b. The error message is awful -- see #3404 | |
fn b<F:Clone,G>(&self, _x: G) -> G { panic!() } //~ ERROR method `b` has an incompatible type | |
} | |
fn main() {} |