src/test/ui/inference/issue-86162-2.rs

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