Check typing_ext coverage

hypothesis-python/src/hypothesis/strategies/_internal/core.py

@@ -1023,7 +1023,7 @@ def as_strategy(strat_or_callable, thing, final=True):
                 "strings."
             )
         raise InvalidArgument(f"thing={thing!r} must be a type")  # pragma: no cover
-    if thing in types.TypeAliasTypes:  # pragma: no cover
+    if thing in types.TypeAliasTypes:
         # Code like `st.from_type(TypeAlias)` does not make sense.
         raise InvalidArgument(
             "Cannot resolve TypeAlias to a strategy, "
@@ -1757,7 +1757,7 @@ def register_type_strategy(
 
     if not types.is_a_type(custom_type):
         raise InvalidArgument(f"custom_type={custom_type!r} must be a type")
-    elif custom_type in types.TypeAliasTypes:  # pragma: no cover
+    elif custom_type in types.TypeAliasTypes:
         raise InvalidArgument(
             f"custom_type={custom_type!r} is not allowed to be registered, "
             "because there is no such thing as a runtime instance of TypeAlias"

hypothesis-python/tox.ini

@@ -131,7 +131,7 @@ commands_pre =
 ignore_errors = true
 commands =
     python -m coverage run --rcfile=.coveragerc --source=hypothesis -m pytest -n0 --strict-markers --ff {posargs} \
-        tests/cover tests/conjecture tests/datetime tests/numpy tests/pandas tests/lark tests/redis tests/dpcontracts tests/codemods
+        tests/cover tests/conjecture tests/datetime tests/numpy tests/pandas tests/lark tests/redis tests/dpcontracts tests/codemods tests/typing_extensions
     python -m coverage report -m --fail-under=100 --show-missing --skip-covered
     python scripts/validate_branch_check.py
 

requirements/coverage.in

@@ -10,4 +10,5 @@ numpy
 pandas
 python-dateutil
 pytz
+typing-extensions
 -r test.in

requirements/coverage.txt

@@ -97,6 +97,7 @@ tomli==1.2.3
     # via black
 typing-extensions==4.0.1
     # via
+    #   -r requirements/coverage.in
     #   black
     #   libcst
     #   typing-inspect