diff --git a/compiler/constrain/src/expr.rs b/compiler/constrain/src/expr.rs
index 178c151a4c..2d39f196a6 100644
--- a/compiler/constrain/src/expr.rs
+++ b/compiler/constrain/src/expr.rs
@@ -742,8 +742,6 @@ pub fn constrain_expr(
             let total_cons = [when_body_con, result_con];
             let branch_constraints = constraints.and_constraint(total_cons);
 
-            // exhautiveness checking happens when converting to mono::Expr
-            // ...for now
             constraints.exists([cond_var, *expr_var], branch_constraints)
         }
         Access {