Non-runtime_checkable subclass of a runtime_checkable Protocol allows isinstance()

[JelleZijlstra]

Bug report

Bug description:

I would expect this to raise, but it passes on all versions:

from typing import runtime_checkable, Protocol
@runtime_checkable
class Foo(Protocol):
 x: int
class Bar(Foo, Protocol):
 y: str
isinstance(object(), Bar)

Some previous discussion in #132596 (comment) . We may not want to change this behavior for compatibility reasons, but I think it's a bug so I'm at least opening the issue.

CPython versions tested on:

CPython main branch, 3.13

Operating systems tested on:

macOS

Linked PRs

• gh-132604: Deprecate inherited runtime checkability of protocols #143806
• gh-132604: Track deprecation related to runtime-checkable protocols (3.20) #154790
• [3.15] gh-132604: Track deprecation related to runtime-checkable protocols (3.20) (GH-154790) #154809

[AlexWaygood]

I agree that this behaviour seems buggy. I'd be open to deprecating it, but I do think it would need a deprecation period of several versions before we could outright remove it. This behaviour has existed since Python 3.8; I feel like it's almost certain that some project somewhere will be accidentally depending on it.

[encukou]

The PR is merged so I'll close the issue.