babby's first test

This commit is contained in:
Douglas Creager 2025-11-12 18:27:09 -05:00
parent 65d02e05c8
commit cad4a38ddf
3 changed files with 68 additions and 8 deletions

View file

@ -0,0 +1,16 @@
# Creating a specialization from a constraint set
```toml
[environment]
python-version = "3.12"
```
## initial tests
```py
from ty_extensions import ConstraintSet, generic_context
def f[T]():
# revealed: ty_extensions.Specialization[T@f = object]
reveal_type(generic_context(f).specialize_constrained(ConstraintSet.always()))
```