Update typing_extensions to 4.13.0rc1 by srittau · Pull Request #13671 · python/typeshed

srittau · 2025-03-19T11:58:44Z

Also sort __all__ to match the implementation

Also sort __all__ to match the implementation Closes: python#13670

srittau · 2025-03-19T12:02:22Z

stdlib/typing_extensions.pyi

    TypeIs: _SpecialForm

+# TypeAliasType was added in Python 3.12, but had significant changes in 3.14.
+if sys.version_info >= (3, 14):


I made an exception for our "next Python version" rule, as technically typing_extensions is not part of the stdlib.

stdlib/typing_extensions.pyi

stdlib/inspect.pyi

stdlib/typing_extensions.pyi

srittau · 2025-03-19T12:31:19Z

bearform is probably escalating, since it was using typing_extensions.TypeForm although it didn't exist before. (By # type: ignoring the import.) Now it exists and mypy recognizes it as a special form, but doesn't know what to do with it. I don't think we can do anything about it.

AlexWaygood · 2025-03-19T12:33:51Z

bearform is probably escalating, since it was using typing_extensions.TypeForm although it didn't exist before. (By # type: ignoring the import.) Now it exists and mypy recognizes it as a special form, but doesn't know what to do with it. I don't think we can do anything about it.

Agreed. Beartype won't type check properly until mypy adds support for the TypeForm special form, but mypy can't add support for the TypeForm special form until we add stubs for it in typeshed. It looks from the diff as though we're causing a huge number of new errors, but it'll help them in the medium term (see also python/typing_extensions#518)

AlexWaygood

Thank you!

stdlib/typing_extensions.pyi

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

github-actions · 2025-03-19T12:54:51Z

Diff from mypy_primer, showing the effect of this PR on open source code:

beartype (https://github.com/beartype/beartype)
+ beartype/_data/hint/datahintpep.py:86: error: Unused "type: ignore" comment  [unused-ignore]
+ beartype/_data/hint/datahintpep.py:137: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:137: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:145: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:145: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:152: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:152: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:163: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:163: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:170: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:170: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:177: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:177: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:184: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:184: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:191: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:191: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:198: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:198: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:210: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:210: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_data/hint/datahintpep.py:217: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_data/hint/datahintpep.py:217: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep647742.py:32: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep647742.py:32: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep585.py:43: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep585.py:43: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep585.py:82: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep585.py:82: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep585.py:140: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep585.py:140: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep585.py:173: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep585.py:173: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep585.py:214: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep585.py:214: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep585.py:324: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep585.py:324: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
- beartype/_util/hint/pep/proposal/pep557.py:81: error: Unused "type: ignore" comment  [unused-ignore]
+ beartype/_util/hint/pep/proposal/pep585.py:389: error: Item "type" of "type | None" has no attribute "__orig_bases__"  [union-attr]
+ beartype/_util/hint/pep/proposal/pep585.py:389: error: Item "None" of "type | None" has no attribute "__orig_bases__"  [union-attr]
+ beartype/_util/hint/pep/proposal/pep585.py:395: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep585.py:395: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep585.py:518: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep585.py:518: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep557.py:22: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep557.py:22: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep557.py:27: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep557.py:27: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/pep484585container.py:27: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/pep484585container.py:27: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/pep484585container.py:60: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/pep484585container.py:60: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/pep484585.py:23: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/pep484585.py:23: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/pep484585.py:67: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/pep484585.py:67: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484/pep484union.py:25: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484/pep484union.py:25: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:27: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:27: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:38: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:38: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:69: error: Hint? has no attribute "__module__"  [attr-defined]
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:69: error: Hint? has no attribute "__qualname__"  [attr-defined]
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:113: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:113: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:158: error: Hint? has no attribute "__supertype__"  [attr-defined]
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:171: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484/pep484newtype.py:171: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484/pep484generic.py:28: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484/pep484generic.py:28: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484/pep484generic.py:75: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484/pep484generic.py:75: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/nonpep/api/utilmodpandera.py:26: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/nonpep/api/utilmodpandera.py:26: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/metadata/metasane.py:79: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/metadata/metasane.py:79: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/metadata/metasane.py:102: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/metadata/metasane.py:102: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/metadata/metasane.py:176: error: Unsupported left operand type for == (Hint?)  [operator]
+ beartype/_check/metadata/metasane.py:234: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/metadata/metasane.py:234: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/metadata/metasane.py:241: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/metadata/metasane.py:241: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/metadata/metasane.py:288: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/metadata/metasane.py:288: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/metadata/metasane.py:312: error: Item Hint? of "Hint? | HintSanifiedData" has no attribute "hint"  [union-attr]
+ beartype/_check/metadata/metasane.py:365: error: Item Hint? of "Hint? | HintSanifiedData" has no attribute "hint"  [union-attr]
+ beartype/_check/metadata/metasane.py:369: error: Item Hint? of "Hint? | HintSanifiedData" has no attribute "typevar_to_hint"  [union-attr]
+ beartype/_check/metadata/metasane.py:373: error: Item Hint? of "Hint? | HintSanifiedData" has no attribute "typevar_to_hint"  [union-attr]
+ beartype/_check/metadata/metasane.py:387: error: Item Hint? of "Hint? | HintSanifiedData" has no attribute "typevar_to_hint"  [union-attr]
+ beartype/_check/metadata/hint/hintmeta.py:134: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/metadata/hint/hintmeta.py:134: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/metadata/hint/hintmeta.py:171: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/metadata/hint/hintmeta.py:171: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/redpep673.py:24: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/redpep673.py:24: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/redpep593.py:23: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/redpep593.py:23: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/redpep589.py:22: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/redpep589.py:22: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484.py:25: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484.py:25: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484.py:110: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484.py:110: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/pep484585func.py:49: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/pep484585func.py:49: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/pep484585func.py:106: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
- beartype/_util/hint/pep/proposal/pep484585/pep484585func.py:106: error: Unused "type: ignore" comment  [unused-ignore]
+ beartype/_util/hint/pep/proposal/pep484585/pep484585func.py:106: note: Error code "valid-type" not covered by "type: ignore" comment
+ beartype/_util/hint/pep/proposal/pep484585/pep484585func.py:106: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:31: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:31: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:87: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:87: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:160: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:160: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:209: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:209: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:259: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585gentest.py:259: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:46: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:46: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:725: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:725: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:818: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:818: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:1064: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:1064: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:1217: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:1217: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:1296: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep484585/generic/pep484585genget.py:1296: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/proposal/checkpep484585generic.py:41: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/proposal/checkpep484585generic.py:41: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/redpep557.py:21: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/redpep557.py:21: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484585/redpep484585type.py:30: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484585/redpep484585type.py:30: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/redpep544.py:22: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/redpep544.py:22: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep695.py:131: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep695.py:131: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep695.py:211: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep695.py:211: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/utilpepget.py:186: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/utilpepget.py:186: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/utilpepget.py:803: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/utilpepget.py:803: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/utilpepget.py:811: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/utilpepget.py:811: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/utilpepget.py:861: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/utilpepget.py:861: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/utilpepget.py:952: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/utilpepget.py:952: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/utilpepget.py:1130: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/utilpepget.py:1130: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/utilpepget.py:1179: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/utilpepget.py:1179: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/redpep695.py:29: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/redpep695.py:29: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/redpep695.py:63: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/redpep695.py:63: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/utilhinttest.py:37: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/utilhinttest.py:37: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/utilhinttest.py:213: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/utilhinttest.py:213: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/utilhinttest.py:328: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/utilhinttest.py:328: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/forward/fwdresolve.py:68: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/forward/fwdresolve.py:68: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/forward/fwdresolve.py:697: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/forward/fwdresolve.py:697: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/redpep484604.py:20: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/redpep484604.py:20: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484585/redpep484585generic.py:29: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484585/redpep484585generic.py:29: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484585/redpep484585generic.py:132: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484585/redpep484585generic.py:132: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484585/redpep484585generic.py:168: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484585/redpep484585generic.py:168: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:54: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:54: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:58: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:58: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:137: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:137: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:177: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:177: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/_pep/pep484/redpep484typevar.py:530: error: Unused "type: ignore" comment  [unused-ignore]
+ beartype/_check/convert/_reduce/_nonpep/api/redapinumpy.py:43: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/_nonpep/api/redapinumpy.py:43: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/door/_cls/doormeta.py:81: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/door/_cls/doormeta.py:81: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/door/_cls/doormeta.py:163: error: Unused "type: ignore" comment  [unused-ignore]
+ beartype/door/_cls/doormeta.py:177: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/door/_cls/doormeta.py:177: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_convcoerce.py:68: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_convcoerce.py:68: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_convcoerce.py:72: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_convcoerce.py:72: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_convcoerce.py:196: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_convcoerce.py:196: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_convcoerce.py:263: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_convcoerce.py:263: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/redhint.py:62: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/redhint.py:62: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/redhint.py:113: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/redhint.py:113: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/redhint.py:492: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/redhint.py:492: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/redhint.py:503: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/redhint.py:503: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/_reduce/redhint.py:642: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/_reduce/redhint.py:642: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/convsanify.py:45: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/convsanify.py:45: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/convsanify.py:216: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/convsanify.py:216: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/convert/convsanify.py:304: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/convert/convsanify.py:304: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/metadata/hint/hintsmeta.py:596: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/metadata/hint/hintsmeta.py:596: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/error/errcause.py:220: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/error/errcause.py:220: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/error/errcause.py:268: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/error/errcause.py:268: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/error/errcause.py:408: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/error/errcause.py:408: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/error/errcause.py:667: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/error/errcause.py:667: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/error/errget.py:245: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/error/errget.py:245: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/code/codemake.py:250: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/code/codemake.py:250: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/code/codemake.py:1294: error: Unused "type: ignore" comment  [unused-ignore]
+ beartype/_check/code/codemake.py:1320: error: Unused "type: ignore" comment  [unused-ignore]
+ beartype/_check/checkmake.py:89: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/checkmake.py:89: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/checkmake.py:151: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/checkmake.py:151: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/checkmake.py:201: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/checkmake.py:201: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/checkmake.py:308: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/checkmake.py:308: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_check/checkmake.py:572: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_check/checkmake.py:572: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/door/_func/doorcheck.py:69: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/door/_func/doorcheck.py:69: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/door/_func/doorcheck.py:140: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/door/_func/doorcheck.py:140: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/door/_func/doorcheck.py:242: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/door/_func/doorcheck.py:242: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_decor/wrap/_wrapreturn.py:92: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_decor/wrap/_wrapreturn.py:92: note: Error code "valid-type" not covered by "type: ignore" comment
+ beartype/_decor/wrap/_wrapreturn.py:92: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_decor/wrap/_wrapargs.py:178: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_decor/wrap/_wrapargs.py:178: note: Error code "valid-type" not covered by "type: ignore" comment
+ beartype/_decor/wrap/_wrapargs.py:178: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/door/_cls/doorsuper.py:152: error: Name "Hint" is not defined  [name-defined]
+ beartype/door/_cls/pep/pep484/doorpep484newtype.py:29: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/door/_cls/pep/pep484/doorpep484newtype.py:29: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/door/_cls/util/doorclsget.py:64: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/door/_cls/util/doorclsget.py:64: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_util/hint/pep/proposal/pep647.py:25: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_util/hint/pep/proposal/pep647.py:25: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+ beartype/_decor/_nontype/_pep/_decorpep557.py:327: error: Variable "typing_extensions.TypeForm" is not valid as a type  [valid-type]
+ beartype/_decor/_nontype/_pep/_decorpep557.py:327: note: Error code "valid-type" not covered by "type: ignore" comment
+ beartype/_decor/_nontype/_pep/_decorpep557.py:327: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases

srittau · 2025-03-19T12:55:58Z

Remaining stubtest failure is unreleated. icalendar just released a new version.

Also sort __all__ to match the implementation

srittau and others added 3 commits March 19, 2025 12:58

Update typing_extensions to 4.13.0rc1

cf0f99f

Also sort __all__ to match the implementation Closes: python#13670

[pre-commit.ci] auto fixes from pre-commit.com hooks

125ed8a

Reorder allowlist

1ee04d6

srittau commented Mar 19, 2025

View reviewed changes

srittau added 5 commits March 19, 2025 13:04

Update typing_extensions version in requirements

2062247

Move allowlist entries to 3.12/3.13(?)

d278359

Add missing annotations

845802f

Remove unnecessary allowlist entries

df8abca

Ignore flake8 warnings

63bddaa

AlexWaygood reviewed Mar 19, 2025

View reviewed changes

stdlib/typing_extensions.pyi Outdated Show resolved Hide resolved

stdlib/typing_extensions.pyi Outdated Show resolved Hide resolved

stdlib/inspect.pyi Outdated Show resolved Hide resolved

stdlib/typing_extensions.pyi Outdated Show resolved Hide resolved

Use type[object]

60c3bc5

This comment has been minimized.

Sign in to view

Remove TypeAliasType.__call__

a1715b1

TypeAliasType.__parameters__ can include special forms

9b89e3c

AlexWaygood approved these changes Mar 19, 2025

View reviewed changes

stdlib/typing_extensions.pyi Outdated Show resolved Hide resolved

srittau and others added 2 commits March 19, 2025 13:38

Update a comment

1b4a83a

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

Split line

8fa5a1b

srittau merged commit 5a8f8aa into python:main Mar 19, 2025
88 of 89 checks passed

srittau deleted the typing-extensions-4.13 branch March 19, 2025 12:56

cdce8p mentioned this pull request Apr 4, 2025

Sync typeshed python/mypy#18880

Merged

mmingyu pushed a commit to mmingyu/typeshed that referenced this pull request May 16, 2025

Update typing_extensions to 4.13.0rc1 (python#13671)

a2c66b5

Also sort __all__ to match the implementation

hauntsaninja mentioned this pull request Jun 4, 2025

mypy 1.16 hates PEP 747 typing.TypeForm and thus @beartype python/mypy#19227

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Update typing_extensions to 4.13.0rc1#13671

Update typing_extensions to 4.13.0rc1#13671
srittau merged 13 commits intopython:mainfrom
srittau:typing-extensions-4.13

srittau commented Mar 19, 2025 •

edited

Loading

Uh oh!

srittau Mar 19, 2025

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

This comment has been minimized.

srittau commented Mar 19, 2025

Uh oh!

AlexWaygood commented Mar 19, 2025 •

edited

Loading

Uh oh!

AlexWaygood left a comment

Uh oh!

Uh oh!

github-actions bot commented Mar 19, 2025

Uh oh!

srittau commented Mar 19, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Uh oh!

Conversation

srittau commented Mar 19, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

srittau Mar 19, 2025

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

This comment has been minimized.

srittau commented Mar 19, 2025

Uh oh!

AlexWaygood commented Mar 19, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

AlexWaygood left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

github-actions bot commented Mar 19, 2025

Uh oh!

srittau commented Mar 19, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

srittau commented Mar 19, 2025 •

edited

Loading

AlexWaygood commented Mar 19, 2025 •

edited

Loading