abstract method with NotImplementedError be infer as Never then in an inconsistent manner

[asukaminato0721]

Describe the Bug

from abc import ABC
class A(ABC):
    def foo(self):
        raise NotImplementedError()

class B(A):
    def foo(self):
        x = 1
        print(x)

context: langgenius/dify#30853 (comment)

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAxAAQDqMUAxrgLYzUAuunAFuwAqkATjDBRS1AMoYcBADS8IcakuqpqxVAHMYAHXQ0A7nxHVSuAK7VGGaoaEQOMBXB6pTM6rHfo1eCxycpMQQ6FoqvoIcPLjohPqUCdQAEjAeHtaWxLDUYDCoHBYiyrhgispoWHj4iEkAtNQA4jCBIqhQdRwQbEHE7Ix8jADWoeF5MDiow-XUAKpw7CIAbvlQAPocwTAAFACUnNyhcH2MgaF5QiKYvfAzMPh9DmzogYaOPLzsAJIAIgCiuXyhWKvAKdnYcAsxGIuCEgW2MEIWkIagCuGYLGyLWc1C0uE6%2BMwolCjggsQUMRWQgULUYuxmtAcTjUWGoQgskVI0VimSJ1EwEBEp3EETMliE1GwQlwhgWQn0YGlLD8jBUmNhgQAggAhADC%2BkYUFQcGUmu2Ot1u1qvmotqJZTAuFw2wWUDAVv0tq9XqEqCU7AAcrgOF9MbBnk5MH9LrC9voDUaTdRteaPTa7aJck6XQx3dbvd78NQALzUACMnoLtuIDhe23w9PQIDkIAC0DgJHIiCocy6UEcEjAHNOZPQcHjWEzjqELAKa3QFhY2DS9cQEQ4%2BzqAD5qHAOEJ8z6WkVfGBdCAA4vlwfqMB8ABfc-6ZsgMgiMSkQhcFhQCg0QTviKlSyEWzDoJAWhFAUo7xAYUgwOwPAcBwxBwIgAD06FvqI4iELCWjoTA6DoZg6JwOhYEQVBXSxOhWYSqgSx%2Bka2A5JRECQb6NG%2BLgxDcR2%2BhkNy6B1FScCjiW1DngAzIQZYAExPk294tlMXQrAAYtAMAUMB1SdiA95AA

(Only applicable for extension issues) IDE Information

No response

[stroxler]

I suspect we should infer Any here (that is, disable inference on abstract methods entirely)

[asukaminato0721]

ERROR Class member `WorkflowAppQueueManager._publish` overrides parent class `AppQueueManager` in an inconsistent manner [bad-override]
  --> core/app/apps/workflow/app_queue_manager.py:22:9
   |
22 |     def _publish(self, event: AppQueueEvent, pub_from: PublishFrom):
   |         ^^^^^^^^
   |
  `WorkflowAppQueueManager._publish` has type `(self: WorkflowAppQueueManager, event: AppQueueEvent, pub_from: PublishFrom) -> None`, which is not assignable to `(self: WorkflowAppQueueManager, event: AppQueueEvent, pub_from: PublishFrom) -> Never`, the type of `AppQueueManager._publish`
  Signature mismatch:
  expected: def _publish(self: WorkflowAppQueueManager, event: AppQueueEvent, pub_from: PublishFrom) -> Never: ...
                                                                                                         ^^^^ return type
  found:    def _publish(self: WorkflowAppQueueManager, event: AppQueueEvent, pub_from: PublishFrom) -> None: ...
                                                                                                         ^^^ return type

this still error.

is it because the parent is not ABC?

only have this.

    @abstractmethod
    def _publish(self, event: AppQueueEvent, pub_from: PublishFrom):
        """
        Publish event to queue
        :param event:
        :param pub_from:
        :return:
        """
        raise NotImplementedError