ruff
ab0288b4 - [red-knot] Gradual forms do not participate in equivalence/subtyping

Commit
1 year ago
[red-knot] Gradual forms do not participate in equivalence/subtyping This changeset contains various improvements concerning non-fully-static types and their relationships: - Make sure that non-fully-static types do not participate in equivalence or subtyping. - Clarify what `Type::is_equivalent_to` actually implements. - Introduce `Type::is_fully_static` - New tests making sure that multiple `Any`/`Unknown`s inside unions and intersections are collapsed.
Author
Committer
Parents
Loading