Weaken record accesses

This commit is contained in:
Ayaz Hafiz 2023-01-12 10:50:35 -06:00 committed by Folkert
parent b5cce17822
commit 0a9155d9d8
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -3835,13 +3835,13 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| EmptyRecord
| Expr::Record { .. }
| Crash { .. }
| Access { .. }
=> {
return false
}
// TODO(weakening)
Var(_, _)
| AbilityMember(_, _, _)
| Access { .. }
| Accessor(_)
| Update { .. }
| Tag { .. }