diff options
| author | Dawer <[email protected]> | 2021-04-29 06:04:24 +0100 |
|---|---|---|
| committer | Dawer <[email protected]> | 2021-05-31 20:03:45 +0100 |
| commit | f4a95c93fe4c1050b18b3c8be25baddd6972ed84 (patch) | |
| tree | d0daaf253953ffa93bafe7afd2eecb7b9d84fd54 /crates/hir_ty/src/diagnostics/expr.rs | |
| parent | 26baab5d2836eb5affd93d1991b3e96853f13869 (diff) | |
Remove unneeded indirection on PatCtxt
Diffstat (limited to 'crates/hir_ty/src/diagnostics/expr.rs')
| -rw-r--r-- | crates/hir_ty/src/diagnostics/expr.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/diagnostics/expr.rs b/crates/hir_ty/src/diagnostics/expr.rs index 4d17e8c9a..88018b5d9 100644 --- a/crates/hir_ty/src/diagnostics/expr.rs +++ b/crates/hir_ty/src/diagnostics/expr.rs | |||
| @@ -373,12 +373,12 @@ impl<'a, 'b> ExprValidator<'a, 'b> { | |||
| 373 | let (body, source_map): (Arc<Body>, Arc<BodySourceMap>) = | 373 | let (body, source_map): (Arc<Body>, Arc<BodySourceMap>) = |
| 374 | db.body_with_source_map(self.owner); | 374 | db.body_with_source_map(self.owner); |
| 375 | 375 | ||
| 376 | let match_expr_ty = if infer.type_of_expr[match_expr].is_unknown() { | 376 | let _match_expr_ty = if infer.type_of_expr[match_expr].is_unknown() { |
| 377 | return; | 377 | return; |
| 378 | } else { | 378 | } else { |
| 379 | &infer.type_of_expr[match_expr] | 379 | &infer.type_of_expr[match_expr] |
| 380 | }; | 380 | }; |
| 381 | // eprintln!("ExprValidator::validate_match2({:?})", match_expr_ty.kind(&Interner)); | 381 | // eprintln!("ExprValidator::validate_match2({:?})", _match_expr_ty.kind(&Interner)); |
| 382 | 382 | ||
| 383 | let pattern_arena = usefulness::PatternArena::clone_from(&body.pats); | 383 | let pattern_arena = usefulness::PatternArena::clone_from(&body.pats); |
| 384 | let cx = usefulness::MatchCheckCtx { | 384 | let cx = usefulness::MatchCheckCtx { |