Remove dead comment

This commit is contained in:
Ayaz Hafiz 2022-07-06 11:37:42 -04:00
parent f3e16b5460
commit 44ecb13033
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -2194,18 +2194,6 @@ fn compact_lambda_set<P: Phase>(
match spec {
Spec::Some { t_f2 } => {
// Ensure the specialization lambda set is already compacted.
// if subs.get_root_key(specialized_lambda_set) != subs.get_root_key(this_lambda_set) {
// compact_lambda_set(
// subs,
// arena,
// pools,
// specialized_lambda_set,
// phase,
// derived_symbols,
// );
// }
// Ensure the specialized ambient function we'll unify with is not a generalized one, but one
// at the rank of the lambda set being compacted.
let t_f2 = deep_copy_var_in(subs, target_rank, pools, t_f2, arena);