Weaken let-bindings to if expressions

This commit is contained in:
Ayaz Hafiz 2023-01-11 17:13:00 -06:00
parent 39b6a509eb
commit 04cf7e070d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 4 additions and 2 deletions

View file

@ -3830,11 +3830,11 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| List { .. }
| SingleQuote(_, _, _, _)
| When { .. }
| If { .. }
=> return false,
// TODO(weakening)
| Var(_, _)
| AbilityMember(_, _, _)
| If { .. }
| LetRec(_, _, _)
| LetNonRec(_, _)
| Call(_, _, _)