Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/infer.rs')
| -rw-r--r-- | crates/hir-ty/src/infer.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/crates/hir-ty/src/infer.rs b/crates/hir-ty/src/infer.rs index c063d0211f..fc1e77efce 100644 --- a/crates/hir-ty/src/infer.rs +++ b/crates/hir-ty/src/infer.rs @@ -375,6 +375,22 @@ pub enum InferenceDiagnostic { #[type_visitable(ignore)] variant: VariantId, }, + UnionPatMustHaveExactlyOneField { + #[type_visitable(ignore)] + pat: PatId, + }, + UnionPatHasRest { + #[type_visitable(ignore)] + pat: PatId, + }, + RecordPatMissingFields { + #[type_visitable(ignore)] + pat: PatId, + #[type_visitable(ignore)] + variant: VariantId, + #[type_visitable(ignore)] + missing_fields: Vec<LocalFieldId>, + }, FunctionalRecordUpdateOnNonStruct { #[type_visitable(ignore)] base_expr: ExprId, |