src/test/ui/impl-trait/diagnostics/fully-qualified-path-impl-trait.rs

   1 trait Foo<T> {
   2     fn foo(self, f: impl FnOnce());
   3 }
   4
   5 impl<T> Foo<T> for () {
   6     fn foo(self, f: impl FnOnce()) {
   7         f()
   8     }
   9 }
  10
  11 fn main() {
  12     // FIXME: This should ideally use a fully qualified path
  13     // without mentioning the generic arguments of `foo`.
  14     ().foo(|| ()) //~ ERROR type annotations needed
  15 }