Type Annotation: python 3.13 PEP 727

[BalzaniEdoardo]

With PEP 727, there will be a new way to annotate types that will be interesting to test.

from typing import Annotated, Doc

class User:
    name: Annotated[str, Doc("The user's name")]
    age: Annotated[int, Doc("The user's age")]

    ...

The problem we are trying to solve is that of being able expand the types of DESIGN_INPUT_TYPE without expanding ArrayLike which has a very large expansion. Expanding ArrayLike makes the docstrings unreadable. Currently we can only expand both, or none.