1 2 3 4 5 6 7 8 9 10 11 12 13 14
// Regression test of #86162. fn gen<T>() -> T { todo!() } struct Foo; impl Foo { fn bar(x: impl Clone) {} } fn main() { Foo::bar(gen()); //<- Do not suggest `Foo::bar::<impl Clone>()`! //~^ ERROR: type annotations needed }