This commit is contained in:
Folkert 2021-05-24 14:44:00 +02:00
parent 53a4af99f4
commit 5b643467bf

View file

@ -1058,7 +1058,7 @@ fn unify_flat_type(
tags2.insert(tag_name.clone(), vec![]); tags2.insert(tag_name.clone(), vec![]);
let union1 = gather_tags(subs, tags1.clone(), *ext1); let union1 = gather_tags(subs, tags1.clone(), *ext1);
let union2 = gather_tags(subs, tags2.clone(), *ext2); let union2 = gather_tags(subs, tags2, *ext2);
unify_tag_union( unify_tag_union(
subs, subs,
@ -1076,7 +1076,7 @@ fn unify_flat_type(
let mut tags1 = MutMap::default(); let mut tags1 = MutMap::default();
tags1.insert(tag_name.clone(), vec![]); tags1.insert(tag_name.clone(), vec![]);
let union1 = gather_tags(subs, tags1.clone(), *ext1); let union1 = gather_tags(subs, tags1, *ext1);
let union2 = gather_tags(subs, tags2.clone(), *ext2); let union2 = gather_tags(subs, tags2.clone(), *ext2);
unify_tag_union_not_recursive_recursive(subs, pool, ctx, union1, union2, *recursion_var) unify_tag_union_not_recursive_recursive(subs, pool, ctx, union1, union2, *recursion_var)