Remove stale comment

This commit is contained in:
Ayaz Hafiz 2022-04-22 10:43:08 -04:00
parent 356616d834
commit f7e04490c0
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58

View File

@ -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 {