This commit is contained in:
Ayaz Hafiz 2022-08-09 17:45:52 -07:00
parent 5ebb85481c
commit bfd49299e0
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -2880,12 +2880,12 @@ fn check_for_infinite_type(
// walk the chain till we find a tag union or lambda set, starting from the variable that
// occurred recursively, which is always at the end of the chain.
for &var in chain.iter().rev() {
match subs.get_content_without_compacting(var) {
&Content::Structure(FlatType::TagUnion(tags, ext_var)) => {
match *subs.get_content_without_compacting(var) {
Content::Structure(FlatType::TagUnion(tags, ext_var)) => {
subs.mark_tag_union_recursive(var, tags, ext_var);
continue 'next_occurs_check;
}
&Content::LambdaSet(subs::LambdaSet {
Content::LambdaSet(subs::LambdaSet {
solved,
recursion_var: _,
unspecialized,