mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Handle unordered fields in struct patterns

Browse Source
This commit is contained in:
Dawer 2021-05-03 00:09:21 +05:00
parent 3ffcb2658c
commit 2431ff5987
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
crates/hir_ty/src/diagnostics/pattern/deconstruct_pat.rs
View File

@ -857,8 +857,18 @@ impl Fields {
self.replace_with_fieldpats(args.iter().copied())
}
Pat::Record { args, ellipsis, .. } => {
// FIXME(iDawer) handle ellipsis.
self.replace_with_fieldpats(args.iter().map(|field_pat| field_pat.pat))
let variant_id =
cx.infer.variant_resolution_for_pat(pat).unwrap_or_else(|| todo!());
let variant_data = variant_id.variant_data(cx.db.upcast());
let new_pats = args.iter().map(|field_pat| {
// TODO: field lookup is inefficient
let raw =
variant_data.field(&field_pat.name).unwrap_or_else(|| todo!()).into_raw();
let idx = u32::from(raw) as usize;
(idx, field_pat.pat)
});
self.replace_fields_indexed(new_pats)
}
Pat::Slice { .. } => {
todo!()