optional record fields in patterns are bound

This commit is contained in:
Folkert 2020-10-16 15:29:21 +02:00
parent e656363cc0
commit 9b83c3ad58
2 changed files with 4 additions and 1 deletions

View file

@ -201,8 +201,8 @@ fn solve(
constraint: &Constraint,
) -> State {
match constraint {
// True => state,
True => {
dbg!(&env.vars_by_symbol);
state
.vars_by_symbol
.extend(env.vars_by_symbol.iter().map(|(x, y)| (*x, *y)));