Weaken foreign calls

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

View File

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