Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
ruff/crates/ty_python_semantic/resources
History
Jelle Zijlstra 18eaa659c1
[ty] Introduce a representation for the top/bottom materialization of 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 <carl@astral.sh>
 		2025-08-27 17:53:57 -07:00
..
corpus [ty] fix deferred name loading in PEP695 generic classes/functions (#19888) 2025-08-13 15:51:59 -07:00
mdtest [ty] Introduce a representation for the top/bottom materialization of an invariant generic (#20076) 2025-08-27 17:53:57 -07:00
primer [ty] Add precise inference for indexing, slicing and unpacking `NamedTuple` instances (#19560) 2025-08-13 15:19:44 +00:00
README.md Rename Red Knot (#17820) 2025-05-03 19:49:15 +02:00

README.md

Markdown files within the mdtest/ subdirectory are tests of type inference and type checking; executed by the tests/mdtest.rs integration test.

See crates/ty_test/README.md for documentation of this test format.