Add tests for typing PEPs for Python 3.5...3.8

[Josverl]

This should help provide clarity on what does / does not work.

This also includes an improvement to support standard container generics such as List[int]

[stinos]

Pulling in these changes to check.

Btw do these tests all pass with the typing implementation written in Python?

[Josverl]

Btw do these tests all pass with the typing implementation written in Python?

yes they do, with the exclusion of the 'un-mutability' tests you added.
( but I have not pushed them yet - still banging into shape and comparing and reducing size )

Ans I also got collections.abc working by patching collections/__init__.py.
That should work the same for a collections.abc registered in .c

# optional collections.abc typing dummy module
try:
    # cannot use relative import here
    import collections.abc as abc
    import sys 
    sys.modules['collections.abc'] = abc
except ImportError:
    pass

# collections.abc
# minimal support for runtime typing
# type: ignore
try:
    from typing import __Ignore as ABC
    from typing import __getattr__ as __getattr__
except ImportError:
    pass

#tests/.../typing_syntax.py
# if "micropython" in sys.implementation.name:
#     # Verify assignment is not possible.
#     try:
#         typing.a = None
#         raise Exception()
#     except AttributeError:
#         pass
#     try:
#         typing[0] = None
#         raise Exception()
#     except TypeError:
#         pass
#     try:
#         List.a = None
#         raise Exception()
#     except AttributeError:
#         pass

[stinos]

Using CPython 3.13.7, the .exp for typing_pep_0589.py comes out as

### PEP 589
Class-based Syntax
Using TypedDict Types
Totality and optional keys
Inheritance and required/optional mix
Runtime checks: TypedDict cannot be used with isinstance/class checks
TypedDict class not allowed for isinstance/class checks
Alternative functional syntax and constructors
<class 'dict'>
Inheritance examples
Totality and mixing with Required/NotRequired
Required/NotRequired with Annotated/ReadOnly examples
extra_items and closed examples
-[ ] FIXME: extra_items not supported by runtime typing implementation: _TypedDictMeta.__new__() got an unexpected keyword argument 'extra_items'
-[ ] FIXME: closed parameter not supported by runtime typing implementation: _TypedDictMeta.__new__() got an unexpected keyword argument 'closed'
Interaction with Mapping and dict conversions
-[ ] FIXME: extra_items not supported by runtime typing implementation _TypedDictMeta.__new__() got an unexpected keyword argument 'extra_items'

so looks like my CPython doesn't support that - do I need a different version?

For typing_pep_0591, is there a FIXME missing in

try:

    def fun(x: Final[List[int]]) -> None:  # Error!
        ...

except Exception:
    print("Expected: Final cannot be used for parameters or return types")

?

[Josverl]

so looks like my CPython doesn't support that - do I need a different version?

No its not that -

While creating the tests I just worked my way up the versions until I hit 3.9.

While PEP 589 is listed on https://peps.python.org/topic/typing/ as implemented in Python 3.8

• docs for typing.TypedDict do not mention extra_items at all
• docs for typeddict.TypedDict refer to extra_items as originating from PEP 728 , which is Python 3.15 ?

Also MicroPython has no actual support for TypedDict that I can find - I think I should have checked this before writing/copying a test for it.
So perhaps its better to document TypedDict as a cpydiff and remove it from the typing tests.