Remove unncessary variable introduction

This commit is contained in:
Ayaz Hafiz 2022-04-28 14:24:15 -04:00 committed by ayazhafiz
parent 907cbdc3a7
commit 2cc47f184f

View file

@ -1183,9 +1183,10 @@ fn constrain_when_branch_help(
delayed_is_open_constraints: Vec::new(),
};
state
.vars
.push(when_branch.redundant.variable_for_introduction());
// TODO: can i remove this?
// state
// .vars
// .push(when_branch.redundant.variable_for_introduction());
// TODO investigate for error messages, is it better to unify all branches with a variable,
// then unify that variable with the expectation?