mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-08-18 17:40:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

[red-knot] Promote the all_type_pairs_are_assignable_to_their_union property test to stable (#15739)

Browse source
This commit is contained in:
Alex Waygood 2025-01-25 16:26:37 +00:00 • committed by GitHub
parent d8c2d20325
commit a77a32b7d4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

14
crates/red_knot_python_semantic/src/types/property_tests.rs
View file

@ -467,6 +467,13 @@ mod stable {
assignable_to_is_reflexive, db, assignable_to_is_reflexive, db,
forall types t. t.is_assignable_to(db, t) forall types t. t.is_assignable_to(db, t)
); );
// For *any* pair of types, whether fully static or not,
// each of the pair should be assignable to the union of the two.
type_property_test!(
all_type_pairs_are_assignable_to_their_union, db,
forall types s, t. s.is_assignable_to(db, union(db, [s, t])) && t.is_assignable_to(db, union(db, [s, t]))
);
} }
/// This module contains property tests that currently lead to many false positives. /// This module contains property tests that currently lead to many false positives.
@ -515,13 +522,6 @@ mod flaky {
forall types s, t. intersection(db, [s, t]).is_assignable_to(db, s) && intersection(db, [s, t]).is_assignable_to(db, t) forall types s, t. intersection(db, [s, t]).is_assignable_to(db, s) && intersection(db, [s, t]).is_assignable_to(db, t)
); );
// For *any* pair of types, whether fully static or not,
// each of the pair should be assignable to the union of the two.
type_property_test!(
all_type_pairs_are_assignable_to_their_union, db,
forall types s, t. s.is_assignable_to(db, union(db, [s, t])) && t.is_assignable_to(db, union(db, [s, t]))
);
// Equal element sets of intersections implies equivalence // Equal element sets of intersections implies equivalence
// flaky at least in part because of https://github.com/astral-sh/ruff/issues/15513 // flaky at least in part because of https://github.com/astral-sh/ruff/issues/15513
type_property_test!( type_property_test!(