negate my static_asserts properly

Author: oconnor663

crates/ty_python_semantic/resources/mdtest/typed_dict.md

@@ -550,54 +550,54 @@ class NotRequiredReadOnlyBool(TypedDict):
 
 static_assert(is_assignable_to(RequiredMutableInt, RequiredMutableInt))
 static_assert(is_subtype_of(RequiredMutableInt, RequiredMutableInt))
-static_assert(is_assignable_to(RequiredReadOnlyInt, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(RequiredReadOnlyInt, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(NotRequiredMutableInt, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredMutableInt, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(NotRequiredReadOnlyInt, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredReadOnlyInt, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(RequiredMutableBool, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(RequiredMutableBool, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(RequiredReadOnlyBool, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(RequiredReadOnlyBool, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(NotRequiredMutableBool, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredMutableBool, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(NotRequiredReadOnlyBool, RequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredReadOnlyBool, RequiredMutableInt))  # error: [static-assert-error]
+static_assert(not is_assignable_to(RequiredReadOnlyInt, RequiredMutableInt))
+static_assert(not is_subtype_of(RequiredReadOnlyInt, RequiredMutableInt))
+static_assert(not is_assignable_to(NotRequiredMutableInt, RequiredMutableInt))
+static_assert(not is_subtype_of(NotRequiredMutableInt, RequiredMutableInt))
+static_assert(not is_assignable_to(NotRequiredReadOnlyInt, RequiredMutableInt))
+static_assert(not is_subtype_of(NotRequiredReadOnlyInt, RequiredMutableInt))
+static_assert(not is_assignable_to(RequiredMutableBool, RequiredMutableInt))
+static_assert(not is_subtype_of(RequiredMutableBool, RequiredMutableInt))
+static_assert(not is_assignable_to(RequiredReadOnlyBool, RequiredMutableInt))
+static_assert(not is_subtype_of(RequiredReadOnlyBool, RequiredMutableInt))
+static_assert(not is_assignable_to(NotRequiredMutableBool, RequiredMutableInt))
+static_assert(not is_subtype_of(NotRequiredMutableBool, RequiredMutableInt))
+static_assert(not is_assignable_to(NotRequiredReadOnlyBool, RequiredMutableInt))
+static_assert(not is_subtype_of(NotRequiredReadOnlyBool, RequiredMutableInt))
 
 static_assert(is_assignable_to(RequiredMutableInt, RequiredReadOnlyInt))
 static_assert(is_subtype_of(RequiredMutableInt, RequiredReadOnlyInt))
 static_assert(is_assignable_to(RequiredReadOnlyInt, RequiredReadOnlyInt))
 static_assert(is_subtype_of(RequiredReadOnlyInt, RequiredReadOnlyInt))
-static_assert(is_assignable_to(NotRequiredMutableInt, RequiredReadOnlyInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredMutableInt, RequiredReadOnlyInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(NotRequiredReadOnlyInt, RequiredReadOnlyInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredReadOnlyInt, RequiredReadOnlyInt))  # error: [static-assert-error]
+static_assert(not is_assignable_to(NotRequiredMutableInt, RequiredReadOnlyInt))
+static_assert(not is_subtype_of(NotRequiredMutableInt, RequiredReadOnlyInt))
+static_assert(not is_assignable_to(NotRequiredReadOnlyInt, RequiredReadOnlyInt))
+static_assert(not is_subtype_of(NotRequiredReadOnlyInt, RequiredReadOnlyInt))
 static_assert(is_assignable_to(RequiredMutableBool, RequiredReadOnlyInt))
 static_assert(is_subtype_of(RequiredMutableBool, RequiredReadOnlyInt))
 static_assert(is_assignable_to(RequiredReadOnlyBool, RequiredReadOnlyInt))
 static_assert(is_subtype_of(RequiredReadOnlyBool, RequiredReadOnlyInt))
-static_assert(is_assignable_to(NotRequiredMutableBool, RequiredReadOnlyInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredMutableBool, RequiredReadOnlyInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(NotRequiredReadOnlyBool, RequiredReadOnlyInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredReadOnlyBool, RequiredReadOnlyInt))  # error: [static-assert-error]
-
-static_assert(is_assignable_to(RequiredMutableInt, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(RequiredMutableInt, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(RequiredReadOnlyInt, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(RequiredReadOnlyInt, NotRequiredMutableInt))  # error: [static-assert-error]
+static_assert(not is_assignable_to(NotRequiredMutableBool, RequiredReadOnlyInt))
+static_assert(not is_subtype_of(NotRequiredMutableBool, RequiredReadOnlyInt))
+static_assert(not is_assignable_to(NotRequiredReadOnlyBool, RequiredReadOnlyInt))
+static_assert(not is_subtype_of(NotRequiredReadOnlyBool, RequiredReadOnlyInt))
+
+static_assert(not is_assignable_to(RequiredMutableInt, NotRequiredMutableInt))
+static_assert(not is_subtype_of(RequiredMutableInt, NotRequiredMutableInt))
+static_assert(not is_assignable_to(RequiredReadOnlyInt, NotRequiredMutableInt))
+static_assert(not is_subtype_of(RequiredReadOnlyInt, NotRequiredMutableInt))
 static_assert(is_assignable_to(NotRequiredMutableInt, NotRequiredMutableInt))
 static_assert(is_subtype_of(NotRequiredMutableInt, NotRequiredMutableInt))
-static_assert(is_assignable_to(NotRequiredReadOnlyInt, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredReadOnlyInt, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(RequiredMutableBool, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(RequiredMutableBool, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(RequiredReadOnlyBool, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(RequiredReadOnlyBool, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(NotRequiredMutableBool, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredMutableBool, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_assignable_to(NotRequiredReadOnlyBool, NotRequiredMutableInt))  # error: [static-assert-error]
-static_assert(is_subtype_of(NotRequiredReadOnlyBool, NotRequiredMutableInt))  # error: [static-assert-error]
+static_assert(not is_assignable_to(NotRequiredReadOnlyInt, NotRequiredMutableInt))
+static_assert(not is_subtype_of(NotRequiredReadOnlyInt, NotRequiredMutableInt))
+static_assert(not is_assignable_to(RequiredMutableBool, NotRequiredMutableInt))
+static_assert(not is_subtype_of(RequiredMutableBool, NotRequiredMutableInt))
+static_assert(not is_assignable_to(RequiredReadOnlyBool, NotRequiredMutableInt))
+static_assert(not is_subtype_of(RequiredReadOnlyBool, NotRequiredMutableInt))
+static_assert(not is_assignable_to(NotRequiredMutableBool, NotRequiredMutableInt))
+static_assert(not is_subtype_of(NotRequiredMutableBool, NotRequiredMutableInt))
+static_assert(not is_assignable_to(NotRequiredReadOnlyBool, NotRequiredMutableInt))
+static_assert(not is_subtype_of(NotRequiredReadOnlyBool, NotRequiredMutableInt))
 
 static_assert(is_assignable_to(RequiredMutableInt, NotRequiredReadOnlyInt))
 static_assert(is_subtype_of(RequiredMutableInt, NotRequiredReadOnlyInt))