`typing`: one `None`-valued member makes `isinstance()` on a `runtime_checkable` Protocol O(N) per call

A class satisfying a @runtime_checkable Protocol with any class attribute set to None still passes isinstance(), but is orders of magnitude slower, scaling linearly with member count. Best of 5 runs of 20,000 calls, at 5/20/50/110 members: 25x/84x/316x/735x slower.

import timeit
from typing import Protocol, runtime_checkable

@runtime_checkable
class P(Protocol):
    @property
    def a(self) -> bool: ...
    @property
    def b(self) -> bool: ...

class Good:
    a = b = True

class Bad:
    a, b = True, None

for x in (Good(), Bad()):
    print(isinstance(x, P), timeit.timeit(lambda: isinstance(x, P), number=100_000))

On 3.13.13: True 0.0121 then True 0.1207. Only the timing differs.

Linked PRs

• gh-156451

从 issue 中最小的 Protocol/runtime_checkable 复现开始，比较不同成员数量下 Good 和 Bad 的耗时。检查链接的 PR gh-156451 以及它所修改的 typing 实现；完成的标准是，值为 None 的情况不再导致线性时间的 isinstance() 检查，同时保留报告的 True 结果。