Unnamed repository; edit this file 'description' to name the repository.
wildcard_in_or_patterns
Johann Hemmann 2024-02-01
parent b176cf2 · commit 0adb4d1
-rw-r--r--Cargo.toml1
-rw-r--r--crates/hir-ty/src/inhabitedness.rs3
2 files changed, 1 insertions, 3 deletions
diff --git a/Cargo.toml b/Cargo.toml
index 8296c91295..0d42f9c655 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -181,7 +181,6 @@ non_canonical_partial_ord_impl = "allow"
self_named_constructors = "allow"
too_many_arguments = "allow"
type_complexity = "allow"
-wildcard_in_or_patterns = "allow"
wrong_self_convention = "allow"
## warn at following lints
diff --git a/crates/hir-ty/src/inhabitedness.rs b/crates/hir-ty/src/inhabitedness.rs
index a63556f450..532b650e8f 100644
--- a/crates/hir-ty/src/inhabitedness.rs
+++ b/crates/hir-ty/src/inhabitedness.rs
@@ -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;