Please refer to https://github.com/python/cpython/pull/30235

Bisected to here:


13bc13960cc83dbd1cb5701d9a59ac9b9144b205 is the first bad commit
commit 13bc13960cc83dbd1cb5701d9a59ac9b9144b205
Author: Mark Shannon <mark@hotpy.org>
Date:   Thu Jan 23 09:25:17 2020 +0000

    bpo-39320: Handle unpacking of *values in compiler (GH-17984)

    * Add three new bytecodes: LIST_TO_TUPLE, LIST_EXTEND, SET_UPDATE. Use them to implement star unpacking expressions.

    * Remove four bytecodes BUILD_LIST_UNPACK, BUILD_TUPLE_UNPACK, BUILD_SET_UNPACK and  BUILD_TUPLE_UNPACK_WITH_CALL opcodes as they are now unused.

    * Update magic number and dis.rst for new bytecodes.



In debug mode, the following code gives fails a C-level assertion:

d = {'metaclass': type}
for _ in [1]:
    class A(1, 2, 3, **d):
        pass

Assertion failed: b->b_startdepth < 0 || b->b_startdepth == depth, file compile.c, line 6959

I was trying to figure out how code like this could ever *not* raise an exception, and here is one case that runs to completion on 3.6--3.8, but it raises `TypeError: 'str' object is not callable` on 3.9--3.11.


class I(int):
    def __init__(*args, **kwargs): pass
    def __new__(*args, **kwargs): pass

d = {'metaclass': I}
class A(1, 2, 3, **d):
    pass

New changeset c118c2455c95baea08045dc64963600b7a56b6fd by zq1997 in branch 'main':
bpo-46161: Fix bug in starunpack_helper in compile.c (GH-30235)
https://github.com/python/cpython/commit/c118c2455c95baea08045dc64963600b7a56b6fd

Qiang Zhang, thanks for fixing this.