Calling a trait method as a free function yields odd diagnostics

[yoshuawuyts]

Given the following code: playground

trait Foo {
    fn bar() {}
}

fn main() {
    Foo::bar();
}

The current output is:

error[E0283]: type annotations needed
 --> src/main.rs:4:5
  |
4 |     Foo::bar();
  |     ^^^^^^^^ cannot infer type
  |
  = note: cannot satisfy `_: Foo`

Ideally the output should look like:

Cannot call trait method as a free function. It needs an actual type to be implemented on for it to be called.

For bonus points: The trait is currently not callable since it's not implemented for anything. It needs to actually be implemented. "It looks like you're trying to call this trait method, but nothing implements it."

[obeis]

@rustbot claim

[aticu]

This is addressed by #98028. The error message is now

error[E0790]: cannot call associated function on trait without specifying the corresponding `impl` type
 --> test.rs:6:5
  |
2 |     fn bar() {}
  |     ----------- `Foo::bar` defined here
...
6 |     Foo::bar();
  |     ^^^^^^^^ cannot call associated function of trait

[compiler-errors]

Heads up @obeis #99308

[compiler-errors]

I'm gonna close this since it seems like it's fixed. Feel free to file another bug if there are additional changes desired 😄