Remove problem in alias instantiation

This commit is contained in:
Ayaz Hafiz 2022-11-08 13:23:11 -06:00
parent c9953129cb
commit fd80f5b70e
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 0 additions and 31 deletions

View file

@ -2819,7 +2819,6 @@ fn correct_mutual_recursive_type_alias<'a>(
alias_type.instantiate_aliases(
alias_region,
&can_instantiate_symbol,
&mut |problem| env.problems.push(Problem::BadType(problem)),
var_store,
&mut new_lambda_sets,
&mut new_infer_ext_vars,