Skip to content

Improve error message for impl Self#95041

Closed
TaKO8Ki wants to merge 1 commit intorust-lang:masterfrom
TaKO8Ki:Improve-error-message-for-impl-Self
Closed

Improve error message for impl Self#95041
TaKO8Ki wants to merge 1 commit intorust-lang:masterfrom
TaKO8Ki:Improve-error-message-for-impl-Self

Conversation

@TaKO8Ki
Copy link
Member

@TaKO8Ki TaKO8Ki commented Mar 17, 2022

closes #65784

@rustbot rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Mar 17, 2022
@rust-highfive
Copy link
Contributor

rust-highfive commented Mar 17, 2022

r? @nagisa

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 17, 2022
cjgillot
cjgillot reviewed Mar 17, 2022
View reviewed changes
compiler/rustc_resolve/src/late.rs Outdated
Copy link
Contributor

@cjgillot cjgillot Mar 17, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What happens if we visit self_type outside of the call to with_self_rib(res,?

Copy link
Member Author

@TaKO8Ki TaKO8Ki Mar 18, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If we do, visit_ty just visits self_ty unless currently_processing_impl_self_ty is true. It never causes a Self is only available in impls, traits, and type definitions error.

In reference to #93971 (review), should I improve this error to report it right away?

@compiler-errors
Copy link
Contributor

compiler-errors commented Mar 17, 2022

You may also want to draw inspiration from #93971 which attempted to fix ICEs of similar variety.

@TaKO8Ki TaKO8Ki force-pushed the Improve-error-message-for-impl-Self branch from f8e8467 to 5a155f6 Compare March 18, 2022 07:05
nagisa
nagisa reviewed Mar 20, 2022
View reviewed changes
src/test/ui/resolve/resolve-self-in-impl.rs
impl Tr for S where Self::A: Copy {} // OK

impl Tr for Self {} //~ ERROR cycle detected
//~^ ERROR `Self` is only available in impls, traits, and type definitions
Copy link
Member

@nagisa nagisa Mar 20, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should emit a single diagnostic for these, not multiple. I could see

Self is only available in impls, traits, and type definitions

being a “help”, but I think it being a singular error makes more sense.

Copy link
Member Author

@TaKO8Ki TaKO8Ki Mar 22, 2022 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok. I'll fix it.

@nagisa nagisa added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 3, 2022
@bors
Copy link
Collaborator

bors commented Apr 17, 2022

☔ The latest upstream changes (presumably #95779) made this pull request unmergeable. Please resolve the merge conflicts.

@JohnCSimon
Copy link
Member

JohnCSimon commented Nov 27, 2022

@TaKO8Ki
Ping from triage: I'm closing this due to inactivity, Please reopen when you are ready to continue with this.
Note: if you do please open the PR BEFORE you push to it, else you won't be able to reopen - this is a quirk of github.
Thanks for your contribution.

@rustbot label: +S-inactive

@JohnCSimon JohnCSimon closed this Nov 27, 2022
@rustbot rustbot added the S-inactive Status: Inactive and waiting on the author. This is often applied to closed PRs. label Nov 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@nagisa nagisa nagisa left review comments

@cjgillot cjgillot cjgillot left review comments

Assignees

@nagisa nagisa

Labels

S-inactive Status: Inactive and waiting on the author. This is often applied to closed PRs. S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Improve error message for impl Self

8 participants

@TaKO8Ki @rust-highfive @compiler-errors @bors @JohnCSimon @nagisa @cjgillot @rustbot