I can't review this since I have no clue on the process of freeing memory on exit. But when do we add a type tostatic_types? Is it always?

I can't review this since I have no clue on the process of freeing memory on exit. But when do we add a type to static_types? Is it always?

I propose two approaches:

• Convert static types to heap types to free memory at exit: it's a hard work, and currently hold by the SC. You need to wait untilhttps://peps.python.org/pep-0687/ is approved for that.

• Clear static types at Python exit (usually in Py_Finalize()):

  • Add the type to the static_types list in object.c (I tried to add all types there),
  • or: add a "Fini" function called by finalize_interp_types() (be careful of sub-interpreters: see _Py_IsMainInterpreter() function).

Should this be backported?

@JelleZijlstra No. Generic alias iterator is part of the variadic generics PEP which is 3.11 only iirc.

Should this be backported?

The work to clear static types at exit is new in Python 3.11 (especially the _PyTypes_FiniTypes() function).