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)