Skip to content

Conversation

JonathanPlasse
Copy link
Contributor

@charliermarsh
Copy link
Member

Looks great!

@charliermarsh charliermarsh merged commit 117fcb6 into astral-sh:main Dec 2, 2022
@JonathanPlasse JonathanPlasse deleted the no-eval-pygrep-hooks branch April 30, 2023 19:47
carljm added a commit that referenced this pull request Aug 28, 2025
… an invariant generic (#20076)

Part of #994. This adds a new field to the Specialization struct to
record when we're dealing with the top or bottom materialization of an
invariant generic. It also implements subtyping and assignability for
these objects.

Next planned steps after this is done are to implement other operations
on top/bottom materializations; probably attribute access is an
important one.

---------

Co-authored-by: Carl Meyer <[email protected]>
second-ed pushed a commit to second-ed/ruff that referenced this pull request Sep 9, 2025
… an invariant generic (astral-sh#20076)

Part of astral-sh#994. This adds a new field to the Specialization struct to
record when we're dealing with the top or bottom materialization of an
invariant generic. It also implements subtyping and assignability for
these objects.

Next planned steps after this is done are to implement other operations
on top/bottom materializations; probably attribute access is an
important one.

---------

Co-authored-by: Carl Meyer <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants