Weaken binding empty records

This commit is contained in:
Ayaz Hafiz 2023-01-12 10:40:03 -06:00 committed by Folkert
parent 64f979a826
commit 61ac9bf9b2
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -3832,6 +3832,7 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| Call(_, _, _)
| RunLowLevel { .. }
| ForeignCall { .. }
| EmptyRecord
=> {
return false
}
@ -3839,7 +3840,6 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
Var(_, _)
| AbilityMember(_, _, _)
| Expr::Record { .. }
| EmptyRecord
| Crash { .. }
| Access { .. }
| Accessor(_)