Skip to content

Commit

Permalink
Reduce diagnostic verbosity by removing labels
Browse files Browse the repository at this point in the history
  • Loading branch information
estebank committed Mar 20, 2018
1 parent f332a9c commit 062a46f
Show file tree
Hide file tree
Showing 9 changed files with 18 additions and 23 deletions.
17 changes: 9 additions & 8 deletions src/librustc_typeck/check/_match.rs
Original file line number Diff line number Diff line change
Expand Up @@ -938,14 +938,14 @@ https://doc.rust-lang.org/reference/types.html#trait-objects");
}

if inexistent_fields.len() > 0 {
let field_names = if inexistent_fields.len() == 1 {
format!("a field named `{}`", inexistent_fields[0].1)
let (field_names, t, plural) = if inexistent_fields.len() == 1 {
(format!("a field named `{}`", inexistent_fields[0].1), "this", "")
} else {
format!("fields named {}",
inexistent_fields.iter()
(format!("fields named {}",
inexistent_fields.iter()
.map(|(_, name)| format!("`{}`", name))
.collect::<Vec<String>>()
.join(", "))
.join(", ")), "these", "s")
};
let spans = inexistent_fields.iter().map(|(span, _)| *span).collect::<Vec<_>>();
let mut err = struct_span_err!(tcx.sess,
Expand All @@ -955,12 +955,13 @@ https://doc.rust-lang.org/reference/types.html#trait-objects");
kind_name,
tcx.item_path_str(variant.did),
field_names);
for (span, name) in &inexistent_fields {
if let Some((span, _)) = inexistent_fields.last() {
err.span_label(*span,
format!("{} `{}` does not have field `{}`",
format!("{} `{}` does not have {} field{}",
kind_name,
tcx.item_path_str(variant.did),
name));
t,
plural));
}
if tcx.sess.teach(&err.get_code().unwrap()) {
err.note(
Expand Down
6 changes: 2 additions & 4 deletions src/test/compile-fail/struct-pat-derived-error.rs
Original file line number Diff line number Diff line change
Expand Up @@ -16,10 +16,8 @@ struct a {
impl a {
fn foo(&self) {
let a { x, y } = self.d; //~ ERROR no field `d` on type `&a`
//~^ ERROR struct `a` does not have a field named `x`
//~^^ ERROR struct `a` does not have a field named `y`
//~^^^ ERROR pattern does not mention field `b`
//~^^^^ ERROR pattern does not mention field `c`
//~^ ERROR struct `a` does not have fields named `x`, `y`
//~| ERROR pattern does not mention fields `b`, `c`
}
}

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/error-codes/E0026-teach.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ error[E0026]: struct `Thing` does not have a field named `z`
--> $DIR/E0026-teach.rs:21:23
|
LL | Thing { x, y, z } => {}
| ^ struct `Thing` does not have field `z`
| ^ struct `Thing` does not have this field
|
= note: This error indicates that a struct pattern attempted to extract a non-existent field from a struct. Struct fields are identified by the name used before the colon : so struct patterns should resemble the declaration of the struct type being matched.

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/error-codes/E0026.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ error[E0026]: struct `Thing` does not have a field named `z`
--> $DIR/E0026.rs:19:23
|
LL | Thing { x, y, z } => {}
| ^ struct `Thing` does not have field `z`
| ^ struct `Thing` does not have this field

error: aborting due to previous error

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/missing-fields-in-struct-pattern.rs
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ struct S(usize, usize, usize, usize);
fn main() {
if let S { a, b, c, d } = S(1, 2, 3, 4) {
//~^ ERROR struct `S` does not have fields named `a`, `b`, `c`, `d` [E0026]
//~^ ERROR pattern does not mention fields `0`, `1`, `2`, `3` [E0027]
//~| ERROR pattern does not mention fields `0`, `1`, `2`, `3` [E0027]
println!("hi");
}
}
6 changes: 1 addition & 5 deletions src/test/ui/missing-fields-in-struct-pattern.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,7 @@ error[E0026]: struct `S` does not have fields named `a`, `b`, `c`, `d`
--> $DIR/missing-fields-in-struct-pattern.rs:14:16
|
LL | if let S { a, b, c, d } = S(1, 2, 3, 4) {
| ^ ^ ^ ^ struct `S` does not have field `d`
| | | |
| | | struct `S` does not have field `c`
| | struct `S` does not have field `b`
| struct `S` does not have field `a`
| ^ ^ ^ ^ struct `S` does not have these fields

error[E0027]: pattern does not mention fields `0`, `1`, `2`, `3`
--> $DIR/missing-fields-in-struct-pattern.rs:14:12
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/numeric-fields.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ error[E0026]: struct `S` does not have a field named `0x1`
--> $DIR/numeric-fields.rs:17:17
|
LL | S{0: a, 0x1: b, ..} => {}
| ^^^^^^ struct `S` does not have field `0x1`
| ^^^^^^ struct `S` does not have this field

error: aborting due to 2 previous errors

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/type-check/issue-41314.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ error[E0026]: variant `X::Y` does not have a field named `number`
--> $DIR/issue-41314.rs:17:16
|
LL | X::Y { number } => {} //~ ERROR does not have a field named `number`
| ^^^^^^ variant `X::Y` does not have field `number`
| ^^^^^^ variant `X::Y` does not have this field

error[E0027]: pattern does not mention field `0`
--> $DIR/issue-41314.rs:17:9
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/union/union-fields-2.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ error[E0026]: union `U` does not have a field named `c`
--> $DIR/union-fields-2.rs:28:19
|
LL | let U { a, b, c } = u; //~ ERROR union patterns should have exactly one field
| ^ union `U` does not have field `c`
| ^ union `U` does not have this field

error: union patterns should have exactly one field
--> $DIR/union-fields-2.rs:28:9
Expand Down

0 comments on commit 062a46f

Please sign in to comment.