gh-87390: Add tests demonstrating current type variable substitution behaviour#32341

Merged

JelleZijlstra merged 24 commits intopython:mainfrom

mrahtz:subst-tests

Apr 29, 2022

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

gh-87390: Add tests demonstrating current type variable substitution behaviour#32341

gh-87390: Add tests demonstrating current type variable substitution behaviour#32341
JelleZijlstra merged 24 commits intopython:mainfrom
mrahtz:subst-tests

Commits on Apr 5, 2022

Add integration tests for type variable substitution

Commits on Apr 8, 2022

Add tests for list, dict and tuple

Commits on Apr 9, 2022

Add tests for Tuple

Revert "Add tests for Tuple"

Commits on Apr 10, 2022

Make it easier to tests all tuple, list and dict types

TypeVarSubstitutionTests -> GenericAliasSubstitutionTests

Remove question marks from cases I'm actually pretty sure about

Commits on Apr 11, 2022

Note that list[] should only take one argument

Leave unpacked tuples unsimplified

Add generic[Ts][tuple[*Ts]]

Update comments based on decision to leave unpacked tuples unsimplified

Commits on Apr 15, 2022

Add tests for generic[T1, bool, T2][*tuple[int, str]]

Update comments based on decision to unpack some tuples

Commits on Apr 16, 2022

Note that generic[*tuple[()]] should raise TypeError

Note that C[T, *tuple[int, ...]][int] raises TypeError only because C is non-variadic

State that multiple unpackings should be allowed where possible

Add test for generic[T1, *tuple[int, ...], T2][str, bool, float]

Update comments according to revised tentative spec at https://github.com/python/cpython/issues/91162

Commits on Apr 18, 2022

Update expected comments to account for unpacked types only being valid arguments for a *Ts

Merge branch 'main' into subst-tests

Update to reflect results after merging latest main

Update ALL tests to reflect results after merging latest main

Remove comments saying we should get a TypeError in cases where we do now get a TypeError

Commits on Apr 29, 2022

Update comments on expected results based on latest tentative spec at https://github.com/python/cpython/issues/91162

Uh oh!

gh-87390: Add tests demonstrating current type variable substitution behaviour#32341JelleZijlstra merged 24 commits intopython:mainpython/cpython:mainfrom mrahtz:subst-testsmrahtz/cpython:subst-testsCopy head branch name to clipboard

Commits

Commits on Apr 5, 2022

Commits on Apr 8, 2022

Commits on Apr 9, 2022

Commits on Apr 10, 2022

Commits on Apr 11, 2022

Commits on Apr 15, 2022

Commits on Apr 16, 2022

Commits on Apr 18, 2022

Commits on Apr 29, 2022

gh-87390: Add tests demonstrating current type variable substitution behaviour#32341
JelleZijlstra merged 24 commits intopython:mainfrom
mrahtz:subst-tests