Fix PR comments

This commit is contained in:
Sam Mohr 2024-08-03 04:37:31 -07:00
parent 77e1fe3f6e
commit 66cf946965
2 changed files with 31 additions and 20 deletions

View file

@ -172,9 +172,6 @@ fn build_fresh_opaque_variables(
) -> (Box<Type>, Vec<OptAbleVar>, Vec<LambdaSet>) {
let closure_var = var_store.fresh();
// NB: if there are bugs, check whether not introducing variables is a problem!
// introduced_variables.insert_wildcard(Loc::at_zero(closure_var));
let ok_var = var_store.fresh();
let err_var = var_store.fresh();
let result_var = var_store.fresh();