nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-12-12 08:36:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Lower Pat::Path

Browse Source
This commit is contained in:
Dawer 2021-05-06 17:18:51 +05:00
parent e50ce67631
commit e711abc290
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
crates/hir_ty/src/diagnostics/pattern.rs
View File

@ -99,6 +99,10 @@ impl<'a> PatCtxt<'a> {
let kind = match self.body[pat] {
hir_def::expr::Pat::Wild => PatKind::Wild,
hir_def::expr::Pat::Path(ref path) => {
return self.lower_path(pat, path);
}
hir_def::expr::Pat::Tuple { ref args, ellipsis } => {
let arity = match *ty.kind(&Interner) {
TyKind::Tuple(arity, _) => arity,
@ -193,6 +197,20 @@ impl<'a> PatCtxt<'a> {
// TODO: do we need PatKind::AscribeUserType ?
kind
}
fn lower_path(&mut self, pat: hir_def::expr::PatId, path: &hir_def::path::Path) -> Pat {
let ty = &self.infer[pat];
let pat_from_kind = |kind| Pat { ty: ty.clone(), kind: Box::new(kind) };
match self.infer.variant_resolution_for_pat(pat) {
Some(_) => pat_from_kind(self.lower_variant_or_leaf(pat, ty, Vec::new())),
None => {
self.errors.push(PatternError::Unimplemented);
pat_from_kind(PatKind::Wild)
}
}
}
}
#[cfg(test)]