David Peter af43bd4b0f [red-knot] Gradual forms do not participate in equivalence/subtyping (#14758) ...

## Summary

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.

closes #14524

## Test Plan

- Added new unit tests for union and intersection builder
- Added new unit tests for `Type::is_equivalent_to`
- Added new unit tests for `Type::is_subtype_of`
- Added new property test making sure that non-fully-static types do not
participate in subtyping

2024-12-04 17:11:25 +01:00

..

resources

[red-knot] Add typing.Any as a spelling for the Any type (#14742)

2024-12-04 09:56:36 -05:00

src

[red-knot] Gradual forms do not participate in equivalence/subtyping (#14758)

2024-12-04 17:11:25 +01:00

tests

mdtest: include test name in printed rerun command (#14684)

2024-11-30 11:01:06 +00:00

build.rs

Modernize build scripts (#13837)

2024-10-20 22:35:35 +01:00

Cargo.toml

[red-knot] Property tests (#14178)

2024-12-03 13:54:54 +01:00