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