diff --git a/crates/ty_python_semantic/resources/mdtest/type_properties/implies_subtype_of.md b/crates/ty_python_semantic/resources/mdtest/type_properties/implies_subtype_of.md
index bb24e8c90d..0a618011b7 100644
--- a/crates/ty_python_semantic/resources/mdtest/type_properties/implies_subtype_of.md
+++ b/crates/ty_python_semantic/resources/mdtest/type_properties/implies_subtype_of.md
@@ -265,9 +265,7 @@ def given_constraints[T]():
 
     given_bool = ConstraintSet.range(Never, T, int)
     static_assert(given_bool.implies_subtype_of(Contravariant[int], Contravariant[T]))
-    # TODO: no error
-    # error: [static-assert-error]
-    static_assert(given_bool.implies_subtype_of(Contravariant[bool], Contravariant[T]))
+    static_assert(not given_bool.implies_subtype_of(Contravariant[bool], Contravariant[T]))
     static_assert(not given_bool.implies_subtype_of(Contravariant[str], Contravariant[T]))
 
 def mutually_constrained[T, U]():