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 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/hir-ty/src/infer.rs b/crates/hir-ty/src/infer.rs index 31e56dec62..05776e1921 100644 --- a/crates/hir-ty/src/infer.rs +++ b/crates/hir-ty/src/infer.rs @@ -333,6 +333,8 @@ pub struct InferenceResult { assoc_resolutions: FxHashMap<ExprOrPatId, AssocItemId>, pub diagnostics: Vec<InferenceDiagnostic>, pub type_of_expr: ArenaMap<ExprId, Ty>, + /// For each match expr, record diverging arm's expr. + pub diverging_arms: FxHashMap<ExprId, Vec<ExprId>>, /// For each pattern record the type it resolves to. /// /// **Note**: When a pattern type is resolved it may still contain |