Skip to content

Commit

Permalink
guarantee that x == 3 in references regressio nfor 2218
Browse files Browse the repository at this point in the history
  • Loading branch information
vezenovm committed Aug 15, 2023
1 parent 8d535eb commit f989fe9
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ fn main(mut x: Field) {
regression_2030();
regression_2255();

// x == 3 at this point
assert(x == 3);
regression_2218_if_inner_if(x, 10);
regression_2218_if_inner_else(20, x);
regression_2218_else(x, 3);
Expand Down

0 comments on commit f989fe9

Please sign in to comment.