bad-override error is hard to read

Open asukaminato0721 opened this issue 3 months ago • 1 comments

Describe the Bug

I can hardly separate the fields.

PipelineQueueManager._publish

has type

BoundMethod[PipelineQueueManager, (self: PipelineQueueManager, event: AppQueueEvent, pub_from: PublishFrom) -> None],

which is not assignable to

BoundMethod[PipelineQueueManager, (self: PipelineQueueManager, event: AppQueueEvent, pub_from: PublishFrom) -> Never],

the type of AppQueueManager._publish

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

Oct 23 '25 06:10 asukaminato0721

I just ran into this error too. I think this is incorrect behavior as python functions that "don't return anything" actually return the unit type None, not the bottom type Never.

Nov 30 '25 14:11 jamsilva