Remove unused line

This commit is contained in:
Ayaz Hafiz 2022-04-22 15:28:06 -04:00
parent 372b12bec9
commit 7d908dc99c
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -723,7 +723,6 @@ pub fn constrain_expr(
// Now check the condition against the type expected by the branches.
let sketched_rows = sketch_rows(real_cond_var, branches_region, &branches);
// let exhaustive_reason = Reason::Exhaustive(sketched_rows, ExhaustiveContext::BadCase);
let cond_matches_branches_constraint = constraints.exhaustive(
real_cond_var,
loc_cond.region,