fix alias error incorrectly reported

This commit is contained in:
Folkert 2021-02-16 17:07:33 +01:00
parent 1ef0d82c5c
commit a08485b0ee
2 changed files with 27 additions and 18 deletions

View file

@ -190,7 +190,9 @@ fn unify_alias(
problems.extend(unify_pool(subs, pool, *l_var, *r_var));
}
problems.extend(merge(subs, &ctx, other_content.clone()));
if problems.is_empty() {
problems.extend(merge(subs, &ctx, other_content.clone()));
}
if problems.is_empty() {
problems.extend(unify_pool(subs, pool, real_var, *other_real_var));