Rollup merge of #117922 - estebank:unclosed-generics, r=b-naber

matthiaskrgr · web-flow · commit 2d01eeeeacd8 · 2023-12-05T16:08:34.000+01:00
Tweak unclosed generics errors

Remove unnecessary span label for parse errors that already have a suggestion.

Provide structured suggestion to close generics in more cases.
diff --git a/compiler/rustc_parse/src/parser/diagnostics.rs b/compiler/rustc_parse/src/parser/diagnostics.rs
@@ -673,15 +673,6 @@ impl<'a> Parser<'a> {
             );
         }
 
-        // Add suggestion for a missing closing angle bracket if '>' is included in expected_tokens
-        // there are unclosed angle brackets
-        if self.unmatched_angle_bracket_count > 0
-            && self.token.kind == TokenKind::Eq
-            && expected.iter().any(|tok| matches!(tok, TokenType::Token(TokenKind::Gt)))
-        {
-            err.span_label(self.prev_token.span, "maybe try to close unmatched angle bracket");
-        }
-
         let sp = if self.token == token::Eof {
             // This is EOF; don't want to point at the following char, but rather the last token.
             self.prev_token.span
@@ -811,6 +802,7 @@ impl<'a> Parser<'a> {
         }
         err.emit();
     }
+
     fn check_too_many_raw_str_terminators(&mut self, err: &mut Diagnostic) -> bool {
         let sm = self.sess.source_map();
         match (&self.prev_token.kind, &self.token.kind) {
@@ -1986,6 +1978,39 @@ impl<'a> Parser<'a> {
         }
     }
 
+    /// When trying to close a generics list and encountering code like
+    /// ```text
+    /// impl<S: Into<std::borrow::Cow<'static, str>> From<S> for Canonical {}
+    ///                                          // ^ missing > here
+    /// ```
+    /// we provide a structured suggestion on the error from `expect_gt`.
+    pub(super) fn expect_gt_or_maybe_suggest_closing_generics(
+        &mut self,
+        params: &[ast::GenericParam],
+    ) -> PResult<'a, ()> {
+        let Err(mut err) = self.expect_gt() else {
+            return Ok(());
+        };
+        // Attempt to find places where a missing `>` might belong.
+        if let [.., ast::GenericParam { bounds, .. }] = params
+            && let Some(poly) = bounds
+                .iter()
+                .filter_map(|bound| match bound {
+                    ast::GenericBound::Trait(poly, _) => Some(poly),
+                    _ => None,
+                })
+                .last()
+        {
+            err.span_suggestion_verbose(
+                poly.span.shrink_to_hi(),
+                "you might have meant to end the type parameters here",
+                ">",
+                Applicability::MaybeIncorrect,
+            );
+        }
+        Err(err)
+    }
+
     pub(super) fn recover_seq_parse_error(
         &mut self,
         delim: Delimiter,
diff --git a/compiler/rustc_parse/src/parser/generics.rs b/compiler/rustc_parse/src/parser/generics.rs
@@ -279,7 +279,7 @@ impl<'a> Parser<'a> {
         let span_lo = self.token.span;
         let (params, span) = if self.eat_lt() {
             let params = self.parse_generic_params()?;
-            self.expect_gt()?;
+            self.expect_gt_or_maybe_suggest_closing_generics(&params)?;
             (params, span_lo.to(self.prev_token.span))
         } else {
             (ThinVec::new(), self.prev_token.span.shrink_to_hi())
diff --git a/tests/ui/generic-associated-types/parse/trait-path-expected-token.stderr b/tests/ui/generic-associated-types/parse/trait-path-expected-token.stderr
@@ -2,9 +2,7 @@ error: expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `=`
   --> $DIR/trait-path-expected-token.rs:5:33
    |
 LL | fn f1<'a>(arg : Box<dyn X<Y = B = &'a ()>>) {}
-   |                               - ^ expected one of 7 possible tokens
-   |                               |
-   |                               maybe try to close unmatched angle bracket
+   |                                 ^ expected one of 7 possible tokens
 
 error: aborting due to 1 previous error
 
diff --git a/tests/ui/generic-associated-types/parse/trait-path-expressions.stderr b/tests/ui/generic-associated-types/parse/trait-path-expressions.stderr
@@ -10,9 +10,7 @@ error: expected one of `,`, `:`, or `>`, found `=`
   --> $DIR/trait-path-expressions.rs:16:36
    |
 LL |   fn f2<'a>(arg : Box<dyn X< { 1 } = 32 >>) {}
-   |                                  - ^ expected one of `,`, `:`, or `>`
-   |                                  |
-   |                                  maybe try to close unmatched angle bracket
+   |                                    ^ expected one of `,`, `:`, or `>`
    |
 help: you might have meant to end the type parameters here
    |
diff --git a/tests/ui/generic-associated-types/parse/trait-path-missing-gen_arg.stderr b/tests/ui/generic-associated-types/parse/trait-path-missing-gen_arg.stderr
@@ -8,9 +8,7 @@ error: expected one of `>`, a const expression, lifetime, or type, found `=`
   --> $DIR/trait-path-missing-gen_arg.rs:11:30
    |
 LL |   fn f1<'a>(arg : Box<dyn X< = 32 >>) {}
-   |                            - ^ expected one of `>`, a const expression, lifetime, or type
-   |                            |
-   |                            maybe try to close unmatched angle bracket
+   |                              ^ expected one of `>`, a const expression, lifetime, or type
 
 error: aborting due to 2 previous errors
 
diff --git a/tests/ui/generic-associated-types/parse/trait-path-segments.stderr b/tests/ui/generic-associated-types/parse/trait-path-segments.stderr
@@ -2,9 +2,7 @@ error: expected one of `!`, `(`, `+`, `,`, `::`, `:`, `<`, or `>`, found `=`
   --> $DIR/trait-path-segments.rs:6:36
    |
 LL |     fn f1<'a>(arg : Box<dyn X<X::Y = u32>>) {}
-   |                                  - ^ expected one of 8 possible tokens
-   |                                  |
-   |                                  maybe try to close unmatched angle bracket
+   |                                    ^ expected one of 8 possible tokens
    |
 help: you might have meant to end the type parameters here
    |
@@ -15,9 +13,7 @@ error: expected one of `,`, `::`, `:`, or `>`, found `=`
   --> $DIR/trait-path-segments.rs:17:35
    |
 LL |     impl<T : X<<Self as X>::Y<'a> = &'a u32>> Z for T {}
-   |                                 - ^ expected one of `,`, `::`, `:`, or `>`
-   |                                 |
-   |                                 maybe try to close unmatched angle bracket
+   |                                   ^ expected one of `,`, `::`, `:`, or `>`
    |
 help: you might have meant to end the type parameters here
    |
@@ -28,9 +24,7 @@ error: expected one of `!`, `+`, `,`, `::`, `:`, or `>`, found `=`
   --> $DIR/trait-path-segments.rs:28:25
    |
 LL |     impl<T : X<X::Y<'a> = &'a u32>> Z for T {}
-   |                       - ^ expected one of `!`, `+`, `,`, `::`, `:`, or `>`
-   |                       |
-   |                       maybe try to close unmatched angle bracket
+   |                         ^ expected one of `!`, `+`, `,`, `::`, `:`, or `>`
    |
 help: you might have meant to end the type parameters here
    |
diff --git a/tests/ui/generic-associated-types/parse/trait-path-types.stderr b/tests/ui/generic-associated-types/parse/trait-path-types.stderr
@@ -2,9 +2,7 @@ error: expected one of `,`, `:`, or `>`, found `=`
   --> $DIR/trait-path-types.rs:6:37
    |
 LL |   fn f<'a>(arg : Box<dyn X< [u8; 1] = u32>>) {}
-   |                                   - ^ expected one of `,`, `:`, or `>`
-   |                                   |
-   |                                   maybe try to close unmatched angle bracket
+   |                                     ^ expected one of `,`, `:`, or `>`
    |
 help: you might have meant to end the type parameters here
    |
@@ -15,9 +13,7 @@ error: expected one of `,`, `:`, or `>`, found `=`
   --> $DIR/trait-path-types.rs:11:37
    |
 LL |   fn f1<'a>(arg : Box<dyn X<(Y<'a>) = &'a ()>>) {}
-   |                                   - ^ expected one of `,`, `:`, or `>`
-   |                                   |
-   |                                   maybe try to close unmatched angle bracket
+   |                                     ^ expected one of `,`, `:`, or `>`
    |
 help: you might have meant to end the type parameters here
    |
@@ -28,9 +24,7 @@ error: expected one of `,`, `:`, or `>`, found `=`
   --> $DIR/trait-path-types.rs:16:33
    |
 LL |   fn f1<'a>(arg : Box<dyn X< 'a = u32 >>) {}
-   |                              -- ^ expected one of `,`, `:`, or `>`
-   |                              |
-   |                              maybe try to close unmatched angle bracket
+   |                                 ^ expected one of `,`, `:`, or `>`
    |
 help: you might have meant to end the type parameters here
    |
diff --git a/tests/ui/generics/unclosed-generics-in-impl-def.rs b/tests/ui/generics/unclosed-generics-in-impl-def.rs
@@ -0,0 +1,2 @@
+impl<S: Into<std::borrow::Cow<'static, str>> From<S> for Canonical {} //~ ERROR expected
+fn main() {}
diff --git a/tests/ui/generics/unclosed-generics-in-impl-def.stderr b/tests/ui/generics/unclosed-generics-in-impl-def.stderr
@@ -0,0 +1,13 @@
+error: expected one of `+`, `,`, `::`, `=`, or `>`, found `From`
+  --> $DIR/unclosed-generics-in-impl-def.rs:1:46
+   |
+LL | impl<S: Into<std::borrow::Cow<'static, str>> From<S> for Canonical {}
+   |                                              ^^^^ expected one of `+`, `,`, `::`, `=`, or `>`
+   |
+help: you might have meant to end the type parameters here
+   |
+LL | impl<S: Into<std::borrow::Cow<'static, str>>> From<S> for Canonical {}
+   |                                             +
+
+error: aborting due to 1 previous error
+
diff --git a/tests/ui/issues/issue-34334.stderr b/tests/ui/issues/issue-34334.stderr
@@ -2,9 +2,8 @@ error: expected one of `,`, `:`, or `>`, found `=`
   --> $DIR/issue-34334.rs:2:29
    |
 LL |     let sr: Vec<(u32, _, _) = vec![];
-   |         --                - ^ expected one of `,`, `:`, or `>`
-   |         |                 |
-   |         |                 maybe try to close unmatched angle bracket
+   |         --                  ^ expected one of `,`, `:`, or `>`
+   |         |
    |         while parsing the type for `sr`
    |
 help: you might have meant to end the type parameters here
diff --git a/tests/ui/parser/missing-closing-angle-bracket-eq-constraint.stderr b/tests/ui/parser/missing-closing-angle-bracket-eq-constraint.stderr
@@ -2,9 +2,8 @@ error: expected one of `,`, `:`, or `>`, found `=`
   --> $DIR/missing-closing-angle-bracket-eq-constraint.rs:7:23
    |
 LL |   let v : Vec<(u32,_) = vec![];
-   |       -             - ^ expected one of `,`, `:`, or `>`
-   |       |             |
-   |       |             maybe try to close unmatched angle bracket
+   |       -               ^ expected one of `,`, `:`, or `>`
+   |       |
    |       while parsing the type for `v`
    |
 help: you might have meant to end the type parameters here
@@ -29,9 +28,8 @@ error: expected one of `,`, `:`, or `>`, found `=`
   --> $DIR/missing-closing-angle-bracket-eq-constraint.rs:18:18
    |
 LL |   let v : Vec<'a = vec![];
-   |       -       -- ^ expected one of `,`, `:`, or `>`
-   |       |       |
-   |       |       maybe try to close unmatched angle bracket
+   |       -          ^ expected one of `,`, `:`, or `>`
+   |       |
    |       while parsing the type for `v`
    |
 help: you might have meant to end the type parameters here

Original file line number	Diff line number	Diff line change
@@ -2,9 +2,7 @@ error: expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `=`
`2`	`2`	`--> $DIR/trait-path-expected-token.rs:5:33`
`3`	`3`	`\|`
`4`	`4`	`LL \| fn f1<'a>(arg : Box<dyn X<Y = B = &'a ()>>) {}`
`5`		`- \| - ^ expected one of 7 possible tokens`
`6`		`- \| \|`
`7`		`- \| maybe try to close unmatched angle bracket`
	`5`	`+ \| ^ expected one of 7 possible tokens`
`8`	`6`
`9`	`7`	`error: aborting due to 1 previous error`
`10`	`8`
Original file line number	Diff line number	Diff line change
@@ -10,9 +10,7 @@ error: expected one of `,`, `:`, or `>`, found `=`
`10`	`10`	`--> $DIR/trait-path-expressions.rs:16:36`
`11`	`11`	`\|`
`12`	`12`	`LL \| fn f2<'a>(arg : Box<dyn X< { 1 } = 32 >>) {}`
`13`		- \| - ^ expected one of `,`, `:`, or `>`
`14`		`- \| \|`
`15`		`- \| maybe try to close unmatched angle bracket`
	`13`	+ \| ^ expected one of `,`, `:`, or `>`
`16`	`14`	`\|`
`17`	`15`	`help: you might have meant to end the type parameters here`
`18`	`16`	`\|`
Original file line number	Diff line number	Diff line change
@@ -8,9 +8,7 @@ error: expected one of `>`, a const expression, lifetime, or type, found `=`
`8`	`8`	`--> $DIR/trait-path-missing-gen_arg.rs:11:30`
`9`	`9`	`\|`
`10`	`10`	`LL \| fn f1<'a>(arg : Box<dyn X< = 32 >>) {}`
`11`		- \| - ^ expected one of `>`, a const expression, lifetime, or type
`12`		`- \| \|`
`13`		`- \| maybe try to close unmatched angle bracket`
	`11`	+ \| ^ expected one of `>`, a const expression, lifetime, or type
`14`	`12`
`15`	`13`	`error: aborting due to 2 previous errors`
`16`	`14`
Original file line number	Diff line number	Diff line change
@@ -2,9 +2,7 @@ error: expected one of `!`, `(`, `+`, `,`, `::`, `:`, `<`, or `>`, found `=`
`2`	`2`	`--> $DIR/trait-path-segments.rs:6:36`
`3`	`3`	`\|`
`4`	`4`	`LL \| fn f1<'a>(arg : Box<dyn X<X::Y = u32>>) {}`
`5`		`- \| - ^ expected one of 8 possible tokens`
`6`		`- \| \|`
`7`		`- \| maybe try to close unmatched angle bracket`
	`5`	`+ \| ^ expected one of 8 possible tokens`
`8`	`6`	`\|`
`9`	`7`	`help: you might have meant to end the type parameters here`
`10`	`8`	`\|`
@@ -15,9 +13,7 @@ error: expected one of `,`, `::`, `:`, or `>`, found `=`
`15`	`13`	`--> $DIR/trait-path-segments.rs:17:35`
`16`	`14`	`\|`
`17`	`15`	`LL \| impl<T : X<<Self as X>::Y<'a> = &'a u32>> Z for T {}`
`18`		- \| - ^ expected one of `,`, `::`, `:`, or `>`
`19`		`- \| \|`
`20`		`- \| maybe try to close unmatched angle bracket`
	`16`	+ \| ^ expected one of `,`, `::`, `:`, or `>`
`21`	`17`	`\|`
`22`	`18`	`help: you might have meant to end the type parameters here`
`23`	`19`	`\|`
@@ -28,9 +24,7 @@ error: expected one of `!`, `+`, `,`, `::`, `:`, or `>`, found `=`
`28`	`24`	`--> $DIR/trait-path-segments.rs:28:25`
`29`	`25`	`\|`
`30`	`26`	`LL \| impl<T : X<X::Y<'a> = &'a u32>> Z for T {}`
`31`		- \| - ^ expected one of `!`, `+`, `,`, `::`, `:`, or `>`
`32`		`- \| \|`
`33`		`- \| maybe try to close unmatched angle bracket`
	`27`	+ \| ^ expected one of `!`, `+`, `,`, `::`, `:`, or `>`
`34`	`28`	`\|`
`35`	`29`	`help: you might have meant to end the type parameters here`
`36`	`30`	`\|`
Original file line number	Diff line number	Diff line change
@@ -2,9 +2,7 @@ error: expected one of `,`, `:`, or `>`, found `=`
`2`	`2`	`--> $DIR/trait-path-types.rs:6:37`
`3`	`3`	`\|`
`4`	`4`	`LL \| fn f<'a>(arg : Box<dyn X< [u8; 1] = u32>>) {}`
`5`		- \| - ^ expected one of `,`, `:`, or `>`
`6`		`- \| \|`
`7`		`- \| maybe try to close unmatched angle bracket`
	`5`	+ \| ^ expected one of `,`, `:`, or `>`
`8`	`6`	`\|`
`9`	`7`	`help: you might have meant to end the type parameters here`
`10`	`8`	`\|`
@@ -15,9 +13,7 @@ error: expected one of `,`, `:`, or `>`, found `=`
`15`	`13`	`--> $DIR/trait-path-types.rs:11:37`
`16`	`14`	`\|`
`17`	`15`	`LL \| fn f1<'a>(arg : Box<dyn X<(Y<'a>) = &'a ()>>) {}`
`18`		- \| - ^ expected one of `,`, `:`, or `>`
`19`		`- \| \|`
`20`		`- \| maybe try to close unmatched angle bracket`
	`16`	+ \| ^ expected one of `,`, `:`, or `>`
`21`	`17`	`\|`
`22`	`18`	`help: you might have meant to end the type parameters here`
`23`	`19`	`\|`
@@ -28,9 +24,7 @@ error: expected one of `,`, `:`, or `>`, found `=`
`28`	`24`	`--> $DIR/trait-path-types.rs:16:33`
`29`	`25`	`\|`
`30`	`26`	`LL \| fn f1<'a>(arg : Box<dyn X< 'a = u32 >>) {}`
`31`		- \| -- ^ expected one of `,`, `:`, or `>`
`32`		`- \| \|`
`33`		`- \| maybe try to close unmatched angle bracket`
	`27`	+ \| ^ expected one of `,`, `:`, or `>`
`34`	`28`	`\|`
`35`	`29`	`help: you might have meant to end the type parameters here`
`36`	`30`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+impl<S: Into<std::borrow::Cow<'static, str>> From<S> for Canonical {} //~ ERROR expected`
	`2`	`+fn main() {}`
Original file line number	Diff line number	Diff line change
@@ -2,9 +2,8 @@ error: expected one of `,`, `:`, or `>`, found `=`
`2`	`2`	`--> $DIR/issue-34334.rs:2:29`
`3`	`3`	`\|`
`4`	`4`	`LL \| let sr: Vec<(u32, _, _) = vec![];`
`5`		- \| -- - ^ expected one of `,`, `:`, or `>`
`6`		`- \| \| \|`
`7`		`- \| \| maybe try to close unmatched angle bracket`
	`5`	+ \| -- ^ expected one of `,`, `:`, or `>`
	`6`	`+ \| \|`
`8`	`7`	\| while parsing the type for `sr`
`9`	`8`	`\|`
`10`	`9`	`help: you might have meant to end the type parameters here`
Original file line number	Diff line number	Diff line change
@@ -2,9 +2,8 @@ error: expected one of `,`, `:`, or `>`, found `=`
`2`	`2`	`--> $DIR/missing-closing-angle-bracket-eq-constraint.rs:7:23`
`3`	`3`	`\|`
`4`	`4`	`LL \| let v : Vec<(u32,_) = vec![];`
`5`		- \| - - ^ expected one of `,`, `:`, or `>`
`6`		`- \| \| \|`
`7`		`- \| \| maybe try to close unmatched angle bracket`
	`5`	+ \| - ^ expected one of `,`, `:`, or `>`
	`6`	`+ \| \|`
`8`	`7`	\| while parsing the type for `v`
`9`	`8`	`\|`
`10`	`9`	`help: you might have meant to end the type parameters here`
@@ -29,9 +28,8 @@ error: expected one of `,`, `:`, or `>`, found `=`
`29`	`28`	`--> $DIR/missing-closing-angle-bracket-eq-constraint.rs:18:18`
`30`	`29`	`\|`
`31`	`30`	`LL \| let v : Vec<'a = vec![];`
`32`		- \| - -- ^ expected one of `,`, `:`, or `>`
`33`		`- \| \| \|`
`34`		`- \| \| maybe try to close unmatched angle bracket`
	`31`	+ \| - ^ expected one of `,`, `:`, or `>`
	`32`	`+ \| \|`
`35`	`33`	\| while parsing the type for `v`
`36`	`34`	`\|`
`37`	`35`	`help: you might have meant to end the type parameters here`