Method analyze_cond_branch

mypy/checkexpr.py:6055–6072

(
        self,
        map: dict[Expression, Type],
        node: Expression,
        context: Type | None,
        allow_none_return: bool = False,
        suppress_unreachable_errors: bool = True,
    )

        return res

    def analyze_cond_branch(
        self,
        map: dict[Expression, Type],
        node: Expression,
        context: Type | None,
        allow_none_return: bool = False,
        suppress_unreachable_errors: bool = True,
    ) -> Type:
        with self.chk.binder.frame_context(can_skip=True, fall_through=0):
            if mypy.checker.is_unreachable_map(map):
                # We still need to type check node, in case we want to
                # process it for isinstance checks later. Since the branch was
                # determined to be unreachable, any errors should be suppressed.
                with self.msg.filter_errors(filter_errors=suppress_unreachable_errors):
                    self.accept(node, type_context=context, allow_none_return=allow_none_return)
                return UninhabitedType()
            self.chk.push_type_map(map)
            return self.accept(node, type_context=context, allow_none_return=allow_none_return)

    def _combined_context(self, ty: Type | None) -> Type | None:
        ctx_items = []