Class DeletedType

mypy/types.py:1488–1522

Type of deleted variables. These can be used as lvalues but not rvalues.

class DeletedType(ProperType):
    """Type of deleted variables.

    These can be used as lvalues but not rvalues.
    """

    __slots__ = ("source",)

    source: str | None  # May be None; name that generated this value

    def __init__(self, source: str | None = None, line: int = -1, column: int = -1) -> None:
        super().__init__(line, column)
        self.source = source

    def accept(self, visitor: TypeVisitor[T]) -> T:
        return visitor.visit_deleted_type(self)

    def serialize(self) -> JsonDict:
        return {".class": "DeletedType", "source": self.source}

    @classmethod
    def deserialize(cls, data: JsonDict) -> DeletedType:
        assert data[".class"] == "DeletedType"
        return DeletedType(data["source"])

    def write(self, data: WriteBuffer) -> None:
        write_tag(data, DELETED_TYPE)
        write_str_opt(data, self.source)
        write_tag(data, END_TAG)

    @classmethod
    def read(cls, data: ReadBuffer) -> DeletedType:
        ret = DeletedType(read_str_opt(data))
        assert read_tag(data) == END_TAG
        return ret


# Fake TypeInfo to be used as a placeholder during Instance de-serialization.