Tweak unclosed generics errors

estebank · estebank · commit 4b840a21ec99 · 2023-11-16T16:54:44.000Z
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
@@ -672,15 +672,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
diff --git a/compiler/rustc_parse/src/parser/generics.rs b/compiler/rustc_parse/src/parser/generics.rs
@@ -279,7 +279,27 @@ 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()?;
+            if let Err(mut err) = self.expect_gt() {
+                // Try to recover a `:` into a `::`
+                // Attempt to find places where a missing `>` might belong.
+                if let [.., 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,
+                    );
+                }
+                return Err(err);
+            }
             (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 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 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 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`