Method mark_unreachable

mypy/checker.py:584–587

Marks all statements in block after a given one (inclusive) as unreachable.

(self, block: list[Statement], after: Statement)

        self.globals_unreachable.clear()

    def mark_unreachable(self, block: list[Statement], after: Statement) -> None:
        """Marks all statements in block after a given one (inclusive) as unreachable."""
        last_line = (last := block[-1]).end_line or last.line
        self.globals_unreachable.update(range(after.line, last_line + 1))

    def check_first_pass(self, recurse_into_functions: bool = True) -> None:
        """Type check the entire file, but defer functions with unresolved references.