From 48c0341a7081bb74bb4635529a94298b9be4b459 Mon Sep 17 00:00:00 2001 From: Takayuki Maeda Date: Fri, 12 Aug 2022 18:11:01 +0900 Subject: suggest removing a semicolon after impl/trait items --- compiler/rustc_parse/src/parser/item.rs | 38 +++++++++++++++++++++++++++++---- 1 file changed, 34 insertions(+), 4 deletions(-) (limited to 'compiler/rustc_parse') diff --git a/compiler/rustc_parse/src/parser/item.rs b/compiler/rustc_parse/src/parser/item.rs index 72c23776d33..8f4edf6ce48 100644 --- a/compiler/rustc_parse/src/parser/item.rs +++ b/compiler/rustc_parse/src/parser/item.rs @@ -670,14 +670,44 @@ impl<'a> Parser<'a> { } match parse_item(self) { Ok(None) => { + let is_unnecessary_semicolon = !items.is_empty() + // When the close delim is `)` in a case like the following, `token.kind` is expected to be `token::CloseDelim(Delimiter::Parenthesis)`, + // but the actual `token.kind` is `token::CloseDelim(Delimiter::Bracket)`. + // This is because the `token.kind` of the close delim is treated as the same as + // that of the open delim in `TokenTreesReader::parse_token_tree`, even if the delimiters of them are different. + // Therefore, `token.kind` should not be compared here. + // + // issue-60075.rs + // ``` + // trait T { + // fn qux() -> Option { + // let _ = if true { + // }); + // ^ this close delim + // Some(4) + // } + // ``` + && self + .span_to_snippet(self.prev_token.span) + .map_or(false, |snippet| snippet == "}") + && self.token.kind == token::Semi; + let semicolon_span = self.token.span; // We have to bail or we'll potentially never make progress. let non_item_span = self.token.span; self.consume_block(Delimiter::Brace, ConsumeClosingDelim::Yes); - self.struct_span_err(non_item_span, "non-item in item list") - .span_label(open_brace_span, "item list starts here") + let mut err = self.struct_span_err(non_item_span, "non-item in item list"); + err.span_label(open_brace_span, "item list starts here") .span_label(non_item_span, "non-item starts here") - .span_label(self.prev_token.span, "item list ends here") - .emit(); + .span_label(self.prev_token.span, "item list ends here"); + if is_unnecessary_semicolon { + err.span_suggestion_verbose( + semicolon_span, + "consider removing this semicolon", + "", + Applicability::MaybeIncorrect, + ); + } + err.emit(); break; } Ok(Some(item)) => items.extend(item), -- cgit 1.4.1-3-g733a5 From d47df26784355eaa4006eee60f262c6035fea307 Mon Sep 17 00:00:00 2001 From: Takayuki Maeda Date: Sat, 13 Aug 2022 22:10:54 +0900 Subject: use `span_suggestion` instead of `span_suggestion_verbose` --- compiler/rustc_parse/src/parser/item.rs | 2 +- .../suggest-removing-semicolon-after-impl-trait-items.stderr | 11 ++++------- 2 files changed, 5 insertions(+), 8 deletions(-) (limited to 'compiler/rustc_parse') diff --git a/compiler/rustc_parse/src/parser/item.rs b/compiler/rustc_parse/src/parser/item.rs index 8f4edf6ce48..8f58bce8890 100644 --- a/compiler/rustc_parse/src/parser/item.rs +++ b/compiler/rustc_parse/src/parser/item.rs @@ -700,7 +700,7 @@ impl<'a> Parser<'a> { .span_label(non_item_span, "non-item starts here") .span_label(self.prev_token.span, "item list ends here"); if is_unnecessary_semicolon { - err.span_suggestion_verbose( + err.span_suggestion( semicolon_span, "consider removing this semicolon", "", diff --git a/src/test/ui/parser/suggest-removing-semicolon-after-impl-trait-items.stderr b/src/test/ui/parser/suggest-removing-semicolon-after-impl-trait-items.stderr index bc12bfc0220..396e0c130f1 100644 --- a/src/test/ui/parser/suggest-removing-semicolon-after-impl-trait-items.stderr +++ b/src/test/ui/parser/suggest-removing-semicolon-after-impl-trait-items.stderr @@ -4,15 +4,12 @@ error: non-item in item list LL | trait Foo { | - item list starts here LL | fn bar() {}; - | ^ non-item starts here + | ^ + | | + | non-item starts here + | help: consider removing this semicolon LL | } | - item list ends here - | -help: consider removing this semicolon - | -LL - fn bar() {}; -LL + fn bar() {} - | error: aborting due to previous error -- cgit 1.4.1-3-g733a5