Method mark_interface_stale

mypy/build.py:3053–3055

Marks this module as having a stale public interface, and discards the cache data.

(self)

        self.manager.rechecked_modules.add(self.id)

    def mark_interface_stale(self) -> None:
        """Marks this module as having a stale public interface, and discards the cache data."""
        self.manager.stale_modules.add(self.id)

    def check_blockers(self) -> None:
        """Raise CompileError if a blocking error is detected."""