This commit is contained in:
Ayaz 2022-04-08 17:31:41 -04:00 committed by Ayaz Hafiz
parent b61481c6e7
commit 3906c5c200
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -696,14 +696,12 @@ fn fix_tag_union_recursion_variable(
Structure(FlatType::RecursiveTagUnion(..))
));
let f = subs.get_content_without_compacting(tag_union_promoted_to_recursive);
let has_recursing_recursive_variable = subs
.occurs_including_recursion_vars(tag_union_promoted_to_recursive)
.is_err();
if !has_recursing_recursive_variable {
merge(subs, ctx, recursion_var.clone())
merge(subs, ctx, *recursion_var)
} else {
vec![]
}