Incorrect Suggestion when Returning a Bare Trait from a Function

[veera-sivarajan]

Code

// edition 2021
trait Trait {}

fn fun() -> Trait {
    todo!()
}

fn main() {}

Current output

error[E0746]: return type cannot have an unboxed trait object
 --> <source>:5:13
  |
5 | fn fun() -> Trait {
  |             ^^^^^ doesn't have a size known at compile-time
  |
help: box the return type, and wrap all of the returned values in `Box::new`
  |
5 ~ fn fun() -> Box<Trait> {
6 ~     Box::new(todo!())
  |

error[E0782]: trait objects must include the `dyn` keyword
 --> <source>:5:13
  |
5 | fn fun() -> Trait {
  |             ^^^^^
  |
help: use `impl Trait` to return an opaque type, as long as you return a single underlying type
  |
5 | fn fun() -> impl Trait {
  |             ++++
help: alternatively, you can return an owned trait object
  |
5 | fn fun() -> Box<dyn Trait> {
  |             +++++++      +

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0746, E0782.
For more information about an error, try `rustc --explain E0746`.

Desired output

error[E0782]: trait objects must include the `dyn` keyword
 --> <source>:5:13
  |
5 | fn fun() -> Trait {
  |             ^^^^^
  |
help: use `impl Trait` to return an opaque type, as long as you return a single underlying type
  |
5 | fn fun() -> impl Trait {
  |             ++++
help: alternatively, you can return an owned trait object
  |
5 | fn fun() -> Box<dyn Trait> {
  |             +++++++      +

Rationale and extra context

This error report has two issues:

1. E0746 incorrectly suggests to return a Box<Trait>.
2. Both the errors say the same thing and E0746 should be suppressed in favor of E0782.

Other cases

No response

Rust Version

rustc 1.79.0

Anything else?

No response

[veera-sivarajan]

@rustbot label +D-incorrect +D-verbose +A-trait-objects