@@ -357,6 +357,6 @@ class Element(Visibility):
outbox.enqueue_delete(self)
@property
- def is_deleted(self) -> None:
+ def is_deleted(self) -> bool:
"""Whether the element has been deleted."""
return self._deleted
@@ -114,6 +114,7 @@ class Timer:
return False
def _should_stop(self) -> bool:
+ assert self.slot is not None
return (
self.slot.parent.is_deleted or
self.slot.parent.client.id not in globals.clients or