XXX fwomp

Author: dcreager

crates/ty_python_semantic/resources/mdtest/generics/pep695/variables.md

@@ -7,6 +7,22 @@ python-version = "3.13"
 
 [PEP 695] and Python 3.12 introduced new, more ergonomic syntax for type variables.
 
+## fwomp
+
+```py
+from ty_extensions import is_assignable_to, is_subtype_of, static_assert
+from ty_extensions import Intersection
+from typing import Any
+
+class Super: ...
+class Base(Super): ...
+class Sub(Base): ...
+class Unrelated: ...
+
+def constrained_by_gradual[T: (Base, Any)](t: T) -> None:
+    static_assert(not is_subtype_of(T, Sub))
+```
+
 ## Type variables
 
 ### Defining PEP 695 type variables

crates/ty_python_semantic/resources/mdtest/type_compendium/never.md

@@ -2,6 +2,18 @@
 
 `Never` represents the empty set of values.
 
+## fwomp
+
+```py
+from ty_extensions import static_assert, is_subtype_of
+from typing_extensions import Never, TypeVar
+
+T = TypeVar("T", bound=Never)
+
+def _(t: T):
+    static_assert(is_subtype_of(T, Never))
+```
+
 ## `Never` is a subtype of every type
 
 The `Never` type is the bottom type of Python's type system. It is a subtype of every type, but no