always unify full alias body, even when alias names match

This commit is contained in:
Folkert 2020-10-18 21:16:22 +02:00
parent fd77a18908
commit 81af929f8f
2 changed files with 14 additions and 8 deletions

View file

@ -179,6 +179,10 @@ fn unify_alias(
problems.extend(merge(subs, &ctx, other_content.clone()));
if problems.is_empty() {
problems.extend(unify_pool(subs, pool, real_var, *other_real_var))
}
problems
} else {
mismatch!()