wildcard_in_or_patterns

This commit is contained in:
Johann Hemmann 2024-01-22 01:41:42 +01:00
parent b176cf2478
commit 0adb4d1685
2 changed files with 1 additions and 3 deletions

View file

@ -84,8 +84,7 @@ impl TypeVisitor<Interner> for UninhabitedFrom<'_> {
Some(0) | None => CONTINUE_OPAQUELY_INHABITED,
Some(1..) => item_ty.super_visit_with(self, outer_binder),
},
TyKind::Ref(..) | _ => CONTINUE_OPAQUELY_INHABITED,
_ => CONTINUE_OPAQUELY_INHABITED,
};
self.recursive_ty.remove(ty);
self.max_depth += 1;