diff options
author | Dawer <[email protected]> | 2021-05-19 14:08:13 +0100 |
---|---|---|
committer | Dawer <[email protected]> | 2021-05-31 20:49:44 +0100 |
commit | 3088ca0a53540e0d7ae14f0d18efcad16cad0735 (patch) | |
tree | d4adc50c7bddda2470c64dff00a080f522a5ecac /crates/hir_ty/src/diagnostics/match_check/usefulness.rs | |
parent | e16f413582ea45d6b318337ea2c7838fdc3b82a4 (diff) |
Take substitutions into account.
Diffstat (limited to 'crates/hir_ty/src/diagnostics/match_check/usefulness.rs')
-rw-r--r-- | crates/hir_ty/src/diagnostics/match_check/usefulness.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/diagnostics/match_check/usefulness.rs b/crates/hir_ty/src/diagnostics/match_check/usefulness.rs index cb322a3de..61fba41bf 100644 --- a/crates/hir_ty/src/diagnostics/match_check/usefulness.rs +++ b/crates/hir_ty/src/diagnostics/match_check/usefulness.rs | |||
@@ -1152,7 +1152,7 @@ pub(crate) fn compute_match_usefulness( | |||
1152 | .collect(); | 1152 | .collect(); |
1153 | 1153 | ||
1154 | let wild_pattern = | 1154 | let wild_pattern = |
1155 | cx.pattern_arena.borrow_mut().alloc(Pat::wildcard_from_ty(&cx.infer[cx.match_expr])); | 1155 | cx.pattern_arena.borrow_mut().alloc(Pat::wildcard_from_ty(cx.infer[cx.match_expr].clone())); |
1156 | let v = PatStack::from_pattern(wild_pattern); | 1156 | let v = PatStack::from_pattern(wild_pattern); |
1157 | let usefulness = is_useful(cx, &matrix, &v, ConstructWitness, false, true); | 1157 | let usefulness = is_useful(cx, &matrix, &v, ConstructWitness, false, true); |
1158 | let non_exhaustiveness_witnesses = match usefulness { | 1158 | let non_exhaustiveness_witnesses = match usefulness { |