Add gradual types to intersection tests

astral-sh · Jan 8, 2025 · ffaecb8 · ffaecb8
1 parent 2cb2edd
commit ffaecb8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/...s/red_knot_python_semantic/resources/mdtest/type_properties/is_assignable_to.md b/...s/red_knot_python_semantic/resources/mdtest/type_properties/is_assignable_to.md
@@ -262,7 +262,12 @@ static_assert(not is_assignable_to(int, Intersection[int, Not[Literal[1]]]))
 static_assert(not is_assignable_to(int, Not[int]))
 static_assert(not is_assignable_to(int, Not[Literal[1]]))
 
+static_assert(not is_assignable_to(Intersection[Any, Parent], Unrelated))
+
 # TODO: The following assertions should not fail (see https://github.com/astral-sh/ruff/issues/14899)
+# error: [static-assert-error]
+static_assert(is_assignable_to(Intersection[Any, int], int))
+
 # error: [static-assert-error]
 static_assert(is_assignable_to(Intersection[Unrelated, Any], Intersection[Unrelated, Any]))
 # error: [static-assert-error]