diff --git a/mypy/checker_shared.py b/mypy/checker_shared.py
index c1c4cee748b3..7ff7d3963431 100644
--- a/mypy/checker_shared.py
+++ b/mypy/checker_shared.py
@@ -260,7 +260,7 @@ def narrow_type_by_identity_equality(
         operand_types: list[Type],
         expr_indices: list[int],
         narrowable_indices: AbstractSet[int],
-    ) -> tuple[dict[Expression, Type] | None, dict[Expression, Type] | None]:
+    ) -> tuple[dict[Expression, Type], dict[Expression, Type]]:
         raise NotImplementedError
 
     @abstractmethod
diff --git a/mypy/checkpattern.py b/mypy/checkpattern.py
index 81904bc245e0..0e4786910e11 100644
--- a/mypy/checkpattern.py
+++ b/mypy/checkpattern.py
@@ -211,8 +211,8 @@ def visit_value_pattern(self, o: ValuePattern) -> PatternType:
         ok_map, rest_map = self.chk.narrow_type_by_identity_equality(
             "==", [node, TempNode(typ)], [current_type, typ], [0, 1], {0}
         )
-        ok_type = ok_map.get(node, current_type) if ok_map is not None else UninhabitedType()
-        rest_type = rest_map.get(node, current_type) if rest_map is not None else UninhabitedType()
+        ok_type = ok_map.get(node, current_type)
+        rest_type = rest_map.get(node, current_type)
         return PatternType(ok_type, rest_type, {})
 
     def visit_singleton_pattern(self, o: SingletonPattern) -> PatternType: