Weaken run-low-level

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

View file

@ -3830,13 +3830,13 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| LetRec(_, _, _) | LetRec(_, _, _)
| LetNonRec(_, _) | LetNonRec(_, _)
| Call(_, _, _) | Call(_, _, _)
| RunLowLevel { .. }
=> { => {
return false return false
} }
// TODO(weakening) // TODO(weakening)
Var(_, _) Var(_, _)
| AbilityMember(_, _, _) | AbilityMember(_, _, _)
| RunLowLevel { .. }
| ForeignCall { .. } | ForeignCall { .. }
| Expr::Record { .. } | Expr::Record { .. }
| EmptyRecord | EmptyRecord