There are a couple of test failures on Python 3.9 with typing_extensions version 4.6.0 and later.
FAILED tests/test_sketch.py::test_constraint_validation - TypeError: typing_extensions.Literal cannot be used with isinstance()
FAILED tests/test_sketch.py::test_constraint_solver - TypeError: typing_extensions.Literal cannot be used with isinstance()
Probably it should be fixed in another way. This is something to be aware of when using Python 3.9. These aren't critical IMO as they are related to an experimental feature.
There are a couple of test failures on Python 3.9 with typing_extensions version 4.6.0 and later.
conda list
:No test failures with typing_extensions 4.5.0: