Skip to content

gh-104555: Runtime-checkable protocols: Don't let previous calls to isinstance() influence whether issubclass() raises an exception #104559

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AlexWaygood merged 12 commits into from
May 17, 2023
Merged

gh-104555: Runtime-checkable protocols: Don't let previous calls to isinstance() influence whether issubclass() raises an exception #104559

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
2601138
gh-104555: Sidestep the ABCMeta.__instancecheck__ cache in typing._Pr…
AlexWaygood May 16, 2023
f3a4551
Simplify test
AlexWaygood May 16, 2023
714badc
Optimise
AlexWaygood May 16, 2023
04ed974
who needs codespell when we have carl
AlexWaygood May 16, 2023
9c5c75f
Merge branch 'fix-runtime-protocols' of https://github.com/AlexWaygoo…
AlexWaygood May 16, 2023
49373a9
be more careful
AlexWaygood May 16, 2023
e114fe9
Add comment
AlexWaygood May 16, 2023
b5cc9cd
Add more failing tests (thanks sunmy2019!)
AlexWaygood May 17, 2023
5f72b82
Better fix
AlexWaygood May 17, 2023
bb56e13
Improve comments
AlexWaygood May 17, 2023
430cacd
📜🤖 Added by blurb_it.
blurb-it[bot] May 17, 2023
f9273fc
Apply suggestions from code review
AlexWaygood May 17, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Simplify test
  • Loading branch information
@AlexWaygood
AlexWaygood committed May 16, 2023
commit f3a4551bbfcbb7cdfb9207af76fc739ea9c19611
12 changes: 6 additions & 6 deletions Lib/test/test_typing.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2656,17 +2656,17 @@ class D(PNonCall): ...

def test_no_weird_caching_with_issubclass_after_isinstance(self):
@runtime_checkable
class Spam(Protocol[T]):
x: T
class Spam(Protocol):
x: int

class Eggs(Generic[T]):
def __init__(self, x: T) -> None:
self.x = x
class Eggs:
def __init__(self) -> None:
self.x = 42

# gh-104555: ABCMeta might cache the result of this isinstance check
# if we called super().__instancecheck__ in the wrong place
# in _ProtocolMeta.__instancheck__...
Comment thread
AlexWaygood marked this conversation as resolved.
Outdated
self.assertIsInstance(Eggs(42), Spam)
self.assertIsInstance(Eggs(), Spam)

# ...and if it did, then TypeError wouldn't be raised here!
with self.assertRaises(TypeError):
Expand Down