language-servers/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-09-28 12:54:58 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

Add Expr::Underscore

Browse source
This commit is contained in:
Ryo Yoshida 2022-05-27 02:14:06 +09:00
parent e10799536a
commit c1c867506b
No known key found for this signature in database
GPG key ID: E25698A930586171
3 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/hir-ty/src/infer/expr.rs
View file

@ -775,6 +775,12 @@ impl<'a> InferenceContext<'a> {
},
},
Expr::MacroStmts { tail } => self.infer_expr_inner(*tail, expected),
Expr::Underscore => {
// Underscore expressions may only appear in assignee expressions,
// which are handled by `infer_assignee_expr()`, so any underscore
// expression reaching this branch is an error.
self.err_ty()
}
};
// use a new type variable if we got unknown here
let ty = self.insert_type_vars_shallow(ty);