From 9052ce78a036d81d1dd9cf7463a1e2274cce54c1 Mon Sep 17 00:00:00 2001 From: Shantanu Jain Date: Wed, 21 Oct 2026 01:32:02 -0700 Subject: [PATCH] [minor] Clean up optional in type map return type Authored by Codex --- mypy/checker_shared.py | 2 +- mypy/checkpattern.py | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/mypy/checker_shared.py b/mypy/checker_shared.py index c1c4cee748b32..7ff7d3963431a 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 81904bc245e01..0e4786910e116 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: