final fixes

crates/red_knot_python_semantic/resources/mdtest/type_properties/is_gradual_equivalent_to.md

@@ -38,13 +38,11 @@ from knot_extensions import Intersection, Not, Unknown, is_gradual_equivalent_to
 
 static_assert(is_gradual_equivalent_to(str | int, str | int))
 static_assert(is_gradual_equivalent_to(str | int | Any, str | int | Unknown))
-
-# TODO: These should pass
-static_assert(is_gradual_equivalent_to(str | int, int | str))  # error: [static-assert-error]
-# error: [static-assert-error]
+static_assert(is_gradual_equivalent_to(str | int, int | str))
 static_assert(
     is_gradual_equivalent_to(Intersection[str, int, Not[bytes], Not[None]], Intersection[int, str, Not[None], Not[bytes]])
 )
+# TODO: `~type[Any]` shoudld be gradually equivalent to `~type[Unknown]`
 # error: [static-assert-error]
 static_assert(is_gradual_equivalent_to(Intersection[str | int, Not[type[Any]]], Intersection[int | str, Not[type[Unknown]]]))
 

crates/red_knot_python_semantic/src/types/property_tests.rs

@@ -254,6 +254,12 @@ mod stable {
         forall types s, t, u. s.is_equivalent_to(db, t) && t.is_equivalent_to(db, u) => s.is_equivalent_to(db, u)
     );
 
+    // Symmetry: If `S` is gradual equivalent to `T`, `T` is gradual equivalent to `S`.
+    type_property_test!(
+        gradual_equivalent_to_is_symmetric, db,
+        forall types s, t. s.is_gradual_equivalent_to(db, t) => t.is_gradual_equivalent_to(db, s)
+    );
+
     // A fully static type `T` is a subtype of itself.
     type_property_test!(
         subtype_of_is_reflexive, db,
@@ -408,7 +414,7 @@ mod flaky {
     );
 
     // Equal element sets of intersections implies equivalence
-    // flaky at least in part because of https://github.com/astral-sh/ruff/issues/15508
+    // flaky at least in part because of https://github.com/astral-sh/ruff/issues/15513
     type_property_test!(
         intersection_equivalence_not_order_dependent, db,
         forall types s, t, u.
@@ -435,12 +441,6 @@ mod flaky {
                 .all(|vec_of_unions| vec_of_unions[0].is_equivalent_to(db, vec_of_unions[1]))
     );
 
-    // Symmetry: If `S` is gradual equivalent to `T`, `T` is gradual equivalent to `S`.
-    type_property_test!(
-        gradual_equivalent_to_is_symmetric, db,
-        forall types s, t. s.is_gradual_equivalent_to(db, t) => t.is_gradual_equivalent_to(db, s)
-    );
-
     // A fully static type does not have any materializations.
     // Thus, two equivalent (fully static) types are also gradual equivalent.
     type_property_test!(

crates/red_knot_python_semantic/src/types/type_ordering.rs

@@ -271,5 +271,5 @@ pub(crate) fn sequence_is_sorted<'db>(sequence: impl IntoIterator<Item = &'db Ty
     sequence
         .into_iter()
         .tuple_windows()
-        .all(|(left, right)| union_elements_ordering(left, right) != Ordering::Greater)
+        .all(|(left, right)| !union_elements_ordering(left, right).is_gt())
 }