[issue25087] Type variable substitution in type instances

Guido van Rossum added the comment: Yup, see comment in https://github.com/python/typing/pull/308 regarding #156. -- resolution: -> rejected stage: -> resolved status: open -> closed ___ Python tracker

[issue25087] Type variable substitution in type instances

Batuhan added the comment: It looks like the issue in typing tracker closed, can we also close this? -- nosy: +BTaskaya ___ Python tracker ___

[issue25087] Type variable substitution in type instances

New submission from Stefan Krah: If a type scheme is instantiated, should the type variables in the class body be substituted? This is an example (typed by hand on a locked down Windows machine, may contain errors): alpha = TypeVar('alpha') beta = TypeVar('beta') class ABTuple(Generic[alpha,

[issue25087] Type variable substitution in type instances

Guido van Rossum added the comment: Good question. Let's discuss this in the type hinting / pep 484 tracker: https://github.com/ambv/typehinting/issues/156 -- ___ Python tracker