diff --git a/crates/compiler/constrain/src/expr.rs b/crates/compiler/constrain/src/expr.rs
index 2c16f05e27..e100ec8cfd 100644
--- a/crates/compiler/constrain/src/expr.rs
+++ b/crates/compiler/constrain/src/expr.rs
@@ -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 { .. }