mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-05-09 06:46:18 +08:00
Even though the parent thread for `ThreadExitedEvent` won't change from `Event` to `ThreadEvent` until 17.0 is released, this actually makes type checking work better in practice for all released versions that support `ThreadExitedEvent` because at run time `ThreadExitedEvent` has the lone attribute, `inferior_thread`, that it would have inherited from `ThreadEvent`.
This commit is contained in:
@@ -960,7 +960,7 @@ class ExitedEvent(Event):
|
||||
exit_code: int
|
||||
inferior: Inferior
|
||||
|
||||
class ThreadExitedEvent(Event): ...
|
||||
class ThreadExitedEvent(ThreadEvent): ...
|
||||
|
||||
class StopEvent(ThreadEvent):
|
||||
details: dict[str, object]
|
||||
|
||||
Reference in New Issue
Block a user