pep612: more semantic analysis for paramspec#9422

Merged

JukkaL merged 13 commits intopython:masterfrom

hauntsaninja:pep612clean

Sep 8, 2020

Commits on Sep 5, 2020

types: add TypeVarLikeDef, ParamSpecDef
hauntsaninja
committed
tvar_scope: support ParamSpec
hauntsaninja
committed
semanal: disallow paramspec in generic class for now
hauntsaninja
committed

Commits on Sep 6, 2020

tests: add some basic tests from PEP 612
hauntsaninja
committed
types: change type of CallableType.variables
hauntsaninja
committed
applytype: use zip, closure
hauntsaninja
committed
anal: generalise TypeVarList, TypeVariableQuery
hauntsaninja
committed
typeanal: error for unbound ParamSpec
hauntsaninja
committed
typeanal: error for invalid location for ParamSpec
hauntsaninja
committed

Commits on Sep 7, 2020

applytype: make get_target_type top level
hauntsaninja
committed
tvar_scope: [minor] fix docstring nit
hauntsaninja
committed
typeanal: use helper to construct callable for paramspec
hauntsaninja
committed
typeanal: add hint for correct usage of ParamSpec
hauntsaninja
committed