This commit is contained in:
Ayaz Hafiz 2022-04-20 15:44:21 -04:00
parent 7c0c0ef02a
commit 627d73e4c0
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 6 additions and 8 deletions

View file

@ -1178,7 +1178,7 @@ fn constrain_when_branch_help(
// must introduce the headers from the pattern before constraining the guard
state
.constraints
.extend(state.delayed_is_open_constriants.drain(..));
.append(&mut state.delayed_is_open_constriants);
let state_constraints = constraints.and_constraint(state.constraints);
let inner = constraints.let_constraint([], [], [], guard_constraint, ret_constraint);
@ -1186,7 +1186,7 @@ fn constrain_when_branch_help(
} else {
state
.constraints
.extend(state.delayed_is_open_constriants.drain(..));
.append(&mut state.delayed_is_open_constriants);
let state_constraints = constraints.and_constraint(state.constraints);
(state_constraints, ret_constraint)
};