diff --git a/crates/compiler/constrain/src/expr.rs b/crates/compiler/constrain/src/expr.rs
index e9e168ed9e..3d05bc4123 100644
--- a/crates/compiler/constrain/src/expr.rs
+++ b/crates/compiler/constrain/src/expr.rs
@@ -3861,9 +3861,8 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
             | RuntimeError(..)
             | ZeroArgumentTag { .. }
             | Tag { .. }
-            | AbilityMember(_, _, _) => return false,
-            // TODO(weakening)
-            Var(_, _) => return true,
+            | AbilityMember(..)
+            | Var(..) => return false,
         }
     }
 }
diff --git a/crates/compiler/test_gen/src/gen_num.rs b/crates/compiler/test_gen/src/gen_num.rs
index e7eb946cba..5f79a1044b 100644
--- a/crates/compiler/test_gen/src/gen_num.rs
+++ b/crates/compiler/test_gen/src/gen_num.rs
@@ -3507,9 +3507,9 @@ fn monomorphized_ints_aliased() {
             app "test" provides [main] to "./platform"
 
             main =
-                y = 100
-                w1 = y
-                w2 = y
+                y = \{} -> 100
+                w1 = \{} -> y {}
+                w2 = \{} -> y {}
 
                 f1 : U8, U32 -> U8
                 f1 = \_, _ -> 1
@@ -3517,7 +3517,7 @@ fn monomorphized_ints_aliased() {
                 f2 : U32, U8 -> U8
                 f2 = \_, _ -> 2
 
-                f1 w1 w2 + f2 w1 w2
+                f1 (w1 {}) (w2 {}) + f2 (w1 {}) (w2 {})
             "#
         ),
         3,