rust/tests/ui/impl-trait/diagnostics/fully-qualified-path-impl-trait.rs
2023-01-11 09:32:08 +00:00

16 lines
321 B
Rust

trait Foo<T> {
fn foo(self, f: impl FnOnce());
}
impl<T> Foo<T> for () {
fn foo(self, f: impl FnOnce()) {
f()
}
}
fn main() {
// FIXME: This should ideally use a fully qualified path
// without mentioning the generic arguments of `foo`.
().foo(|| ()) //~ ERROR type annotations needed
}