Message 415694 - Python tracker

Message415694

Author	serhiy.storchaka
Recipients	AlexWaygood, JelleZijlstra, gvanrossum, kj, matthew.rahtz, mrahtz, serhiy.storchaka
Date	2022-03-21.18:17:54
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<1647886674.51.0.128664224742.issue47006@roundup.psfhosted.org>
In-reply-to

Content
The first case will be practically fixed by GH 32030 after chenging the grammar to allow unpacking in index tuple: A[*B]. Two other cases will be fixed by GH 32031. It does not require any C code. In the last case no error is raised because some error checks are skipped if any of Generic arguments is a TypeVarTuple. We just need to add such checks. This is Python-only code too. Note that the alternative proposition is even more lenient to errors.

Content

The first case will be practically fixed by GH 32030 after chenging the grammar to allow unpacking in index tuple: A[*B].

Two other cases will be fixed by GH 32031. It does not require any C code.

In the last case no error is raised because some error checks are skipped if any of Generic arguments is a TypeVarTuple. We just need to add such checks. This is Python-only code too.

Note that the alternative proposition is even more lenient to errors.

History
Date	User	Action	Args
2022-03-21 18:17:54	serhiy.storchaka	set	recipients: + serhiy.storchaka, gvanrossum, JelleZijlstra, kj, matthew.rahtz, mrahtz, AlexWaygood
2022-03-21 18:17:54	serhiy.storchaka	set	messageid: <1647886674.51.0.128664224742.issue47006@roundup.psfhosted.org>
2022-03-21 18:17:54	serhiy.storchaka	link	issue47006 messages
2022-03-21 18:17:54	serhiy.storchaka	create