Skip to content

E0038 needs to be updated to new format #35500

Closed
@sophiajt

Description

@sophiajt

From: src/test/compile-fail/E0038.rs

Error E0038 needs a span_label, updating it from:

error[E0038]: the trait `Trait` cannot be made into an object
  --> src/test/compile-fail/E0038.rs:15:1
   |
15 | fn call_foo(x: Box<Trait>) { //~ ERROR E0038
   | ^
   |
   = note: method `foo` references the `Self` type in its arguments or return type

To:

error[E0038]: the trait `Trait` cannot be made into an object
  --> src/test/compile-fail/E0038.rs:15:1
   |
15 | fn call_foo(x: Box<Trait>) { //~ ERROR E0038
   | ^ `Trait` cannot be made into an object
   |
   = note: method `foo` references the `Self` type in its arguments or return type

Bonus: not sure how difficult this would be, but we should underline where the issue occurs if possible. Something like:

error[E0038]: the trait `Trait` cannot be made into an object
  --> src/test/compile-fail/E0038.rs:15:1
   |
15 | fn call_foo(x: Box<Trait>) { //~ ERROR E0038
   |                ^^^^^^^^^^ `Trait` cannot be made into an object
   |
   = note: method `foo` references the `Self` type in its arguments or return type

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-diagnosticsArea: Messages for errors, warnings, and lintsE-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions