bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Recover invalid assoc type bounds using ==

Browse source
This commit is contained in:
Yuki Okushi 2021-07-29 05:49:56 +09:00
parent 78a46efff0
commit 9342be5538
No known key found for this signature in database
GPG key ID: DABA5B072961C18A
3 changed files with 53 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

14
compiler/rustc_parse/src/parser/diagnostics.rs
View file

@ -1955,7 +1955,19 @@ impl<'a> Parser<'a> {
}
match self.parse_expr_res(Restrictions::CONST_EXPR, None) {
Ok(expr) => {
if token::Comma == self.token.kind || self.token.kind.should_end_const_arg() {
// Find a mistake like `MyTrait<Assoc == S::Assoc>`.
if token::EqEq == snapshot.token.kind {
err.span_suggestion(
snapshot.token.span,
"replace `==` with `=`",
"=".to_string(),
Applicability::MaybeIncorrect,
);
let value = self.mk_expr_err(expr.span);
err.emit();
return Ok(GenericArg::Const(AnonConst { id: ast::DUMMY_NODE_ID, value }));
} else if token::Comma == self.token.kind || self.token.kind.should_end_const_arg()
{
// Avoid the following output by checking that we consumed a full const arg:
// help: expressions must be enclosed in braces to be used as const generic
// arguments