ruff
[ty] Introduce a representation for the top/bottom materialization of an invariant generic
#20076
Merged
Merged
[ty] Introduce a representation for the top/bottom materialization of an invariant generic #20076
carljm
merged
18 commits into
astral-sh:main
from
JelleZijlstra:materialization-relations
[ty] Add Top[] and Bottom[] special forms, replacing top_materializat…
df2c59b6
tests for invalid use
c319eb2a
Type relations for top and bottom
2bcc63eb
all tests pass
b348c04b
clippy
9c6a9b37
renames, more tests
c9794621
Merge remote-tracking branch 'upstream/main' into materialization-rel…
97f4c532
more tests, found a bug
c8a9c0e9
Merge branch 'main' into materialization-relations
bc5f6017
reformat
755163ef
one approach
8f5f41e7
JelleZijlstra
commented
on 2025-08-26
more tests and fix a bug
21ca1194
Merge remote-tracking branch 'upstream/main' into materialization-rel…
c2b9d6c9
fix
346224ef
feedback
45dab98f
great renaming
5dc6dad9
simplify, add explanation
51d23a82
add comment about possible simpler implementation
a8e1d346
carljm
approved these changes
on 2025-08-28
Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub