Skip to content

Change suggestion of field when not in self context #60061

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Apr 19, 2019
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 12 additions & 10 deletions src/librustc_resolve/diagnostics.rs
Original file line number Diff line number Diff line change
Expand Up @@ -166,16 +166,18 @@ impl<'a> Resolver<'a> {
let self_is_available = self.self_value_is_available(path[0].ident.span, span);
match candidate {
AssocSuggestion::Field => {
err.span_suggestion(
span,
"try",
format!("self.{}", path_str),
Applicability::MachineApplicable,
);
if !self_is_available {
err.span_label(span, format!("`self` value is a keyword \
only available in \
methods with `self` parameter"));
if self_is_available {
err.span_suggestion(
span,
"you might have meant to use the available field",
format!("self.{}", path_str),
Applicability::MachineApplicable,
);
} else {
err.span_label(
span,
"a field by this name exists in `Self`",
);
}
}
AssocSuggestion::MethodWithSelf if self_is_available => {
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/class-missing-self.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ error[E0425]: cannot find value `meows` in this scope
--> $DIR/class-missing-self.rs:9:7
|
LL | meows += 1;
| ^^^^^ help: try: `self.meows`
| ^^^^^ help: you might have meant to use the available field: `self.meows`
Copy link
Contributor

Choose a reason for hiding this comment

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

(As the author of that "try", I still prefer less wordy labels.)

Copy link
Contributor Author

Choose a reason for hiding this comment

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

The longer text is there for people that come from languages like Java, where implicit this. Having the longer text let us differentiate between fields and bindings when communicating with users.


error[E0425]: cannot find function `sleep` in this scope
--> $DIR/class-missing-self.rs:10:7
Expand Down
17 changes: 17 additions & 0 deletions src/test/ui/issues/issue-60057.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
struct A {
banana: u8,
}

impl A {
fn new(peach: u8) -> A {
A {
banana: banana //~ ERROR cannot find value `banana` in this scope
}
}

fn foo(&self, peach: u8) -> A {
A {
banana: banana //~ ERROR cannot find value `banana` in this scope
}
}
}
20 changes: 20 additions & 0 deletions src/test/ui/issues/issue-60057.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
error[E0425]: cannot find value `banana` in this scope
--> $DIR/issue-60057.rs:8:21
|
LL | banana: banana
| ^^^^^^ a field by this name exists in `Self`

error[E0425]: cannot find value `banana` in this scope
--> $DIR/issue-60057.rs:14:21
|
LL | banana: banana
| ^^^^^^ help: you might have meant to use the available field: `self.banana`

error[E0601]: `main` function not found in crate `issue_60057`
|
= note: consider adding a `main` function to `$DIR/issue-60057.rs`

error: aborting due to 3 previous errors

Some errors have detailed explanations: E0425, E0601.
For more information about an error, try `rustc --explain E0425`.
8 changes: 4 additions & 4 deletions src/test/ui/resolve/issue-14254.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -20,13 +20,13 @@ error[E0425]: cannot find value `x` in this scope
--> $DIR/issue-14254.rs:30:9
|
LL | x;
| ^ help: try: `self.x`
| ^ help: you might have meant to use the available field: `self.x`

error[E0425]: cannot find value `y` in this scope
--> $DIR/issue-14254.rs:32:9
|
LL | y;
| ^ help: try: `self.y`
| ^ help: you might have meant to use the available field: `self.y`

error[E0425]: cannot find value `a` in this scope
--> $DIR/issue-14254.rs:34:9
Expand Down Expand Up @@ -56,13 +56,13 @@ error[E0425]: cannot find value `x` in this scope
--> $DIR/issue-14254.rs:47:9
|
LL | x;
| ^ help: try: `self.x`
| ^ help: you might have meant to use the available field: `self.x`

error[E0425]: cannot find value `y` in this scope
--> $DIR/issue-14254.rs:49:9
|
LL | y;
| ^ help: try: `self.y`
| ^ help: you might have meant to use the available field: `self.y`

error[E0425]: cannot find value `a` in this scope
--> $DIR/issue-14254.rs:51:9
Expand Down
12 changes: 3 additions & 9 deletions src/test/ui/resolve/issue-2356.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -20,10 +20,7 @@ error[E0425]: cannot find value `whiskers` in this scope
--> $DIR/issue-2356.rs:39:5
|
LL | whiskers -= other;
| ^^^^^^^^
| |
| `self` value is a keyword only available in methods with `self` parameter
| help: try: `self.whiskers`
| ^^^^^^^^ a field by this name exists in `Self`

error[E0425]: cannot find function `shave` in this scope
--> $DIR/issue-2356.rs:41:5
Expand Down Expand Up @@ -83,16 +80,13 @@ error[E0425]: cannot find value `whiskers` in this scope
--> $DIR/issue-2356.rs:79:5
|
LL | whiskers = 0;
| ^^^^^^^^ help: try: `self.whiskers`
| ^^^^^^^^ help: you might have meant to use the available field: `self.whiskers`

error[E0425]: cannot find value `whiskers` in this scope
--> $DIR/issue-2356.rs:84:5
|
LL | whiskers = 4;
| ^^^^^^^^
| |
| `self` value is a keyword only available in methods with `self` parameter
| help: try: `self.whiskers`
| ^^^^^^^^ a field by this name exists in `Self`

error[E0425]: cannot find function `purr_louder` in this scope
--> $DIR/issue-2356.rs:86:5
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/resolve/resolve-assoc-suggestions.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ error[E0425]: cannot find value `field` in this scope
--> $DIR/resolve-assoc-suggestions.rs:20:9
|
LL | field;
| ^^^^^ help: try: `self.field`
| ^^^^^ help: you might have meant to use the available field: `self.field`

error[E0412]: cannot find type `Type` in this scope
--> $DIR/resolve-assoc-suggestions.rs:23:16
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/resolve/resolve-speculative-adjustment.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ error[E0425]: cannot find value `field` in this scope
--> $DIR/resolve-speculative-adjustment.rs:23:9
|
LL | field;
| ^^^^^ help: try: `self.field`
| ^^^^^ help: you might have meant to use the available field: `self.field`

error[E0425]: cannot find function `method` in this scope
--> $DIR/resolve-speculative-adjustment.rs:25:9
Expand Down
5 changes: 1 addition & 4 deletions src/test/ui/resolve/unresolved_static_type_field.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,7 @@ error[E0425]: cannot find value `cx` in this scope
--> $DIR/unresolved_static_type_field.rs:9:11
|
LL | f(cx);
| ^^
| |
| `self` value is a keyword only available in methods with `self` parameter
| help: try: `self.cx`
| ^^ a field by this name exists in `Self`

error: aborting due to previous error

Expand Down