Expand description
Various diagnostics for expressions that are collected together in one pass through the body using inference results: mismatched arg counts, missing fields, etc.
Structs§
- Body 🔒
- The body of an item (function, const etc.).
- Expr
Validator 🔒 - Filter
MapNext 🔒Checker - Match
Arm 🔒
Enums§
- Body
Validation Diagnostic - Expr 🔒
- Pat 🔒
- Close relative to rustc’s hir::PatKind
- Record
Spread 🔒 - Statement 🔒
- Variant
Id 🔒
Functions§
- missing_
match_ 🔒arms - record_
literal_ missing_ fields - record_
pattern_ missing_ fields - types_
of_ 🔒subpatterns_ do_ match
Type Aliases§
- ExprId 🔒
- Local
Field 🔒Id - PatId 🔒