Python 3.11 tracking issue

General, language:

New typing features:

PEP 655 (Required, NotRequired)
PEP 646 (variadic generics, Support for PEP 646 #12280)
PEP 673 (Self type, support pep 673 Self type #11871)
PEP 675 (LiteralString, Support PEP 675 (LiteralString) #12554, Recognise LiteralString as str #12559)
PEP 681 (dataclass_transform, Support PEP 681 (dataclass_transform) #14293)

I started off writing a comment, but it got too long so I created a separate issue instead: there's a ton of new enum features in 3.11 that mypy doesn't yet support.

New enum features in Python 3.11 #12841

Okay, we're down to four failing tests with Python 3.11:

FAILED mypyc/test/test_run.py::TestRun::run-misc.test::testCheckVersion
FAILED mypyc/test/test_run.py::TestRun::run-classes.test::testProtocol
FAILED mypyc/test/test_run.py::TestRun::run-classes.test::testPickling
FAILED mypyc/test/test_run.py::TestRun::run-classes.test::testProperty

#13125 takes care of testCheckVersion
testProperty seems trivial, just a difference in traceback formatting
testPickling is probably python/cpython#70766 and not too bad
testProtocol looks a little scary — seems like one we'd want to fix

@97littleleaf11

@97littleleaf11 any interest in taking a look at the testProtocol failure? :-)

#13206 should fix testProtocol and testPickling
beta5 has some new test failures (that are my fault from python/cpython#94948 ), these ones are very easy to fix

Okay, CPython has rolled back changes, see python/cpython#92678 and python/cpython#95589. We should still confirm that with RC or B6 or whatever, we'll just have testProperty failing.

If you want to link the PEP 673 issue, it's here: #11871

Okay, with RC1 we have the following tests failing:

testPickling: probably related to https://github.com/python/cpython/issues/70766 (although not sure why #13206 "fixed" this)
testProperty: as mentioned above, just a difference in traceback formatting
testConfigFollowImportsSysPath: looks like something might have changed in mypy type logic and we now detect an overload situation in typeshed 3.11-only code

Add support for exception groups and except* (#14020)

Add support for Self type (#14041)

Hypothetically speaking, if I wanted to add support for dataclass_transform, would that be a possibility?
does it need some kind of approval to even begin? Is it being worked on already?

It is not being worked on as far as I am aware, and you don't need approval, feel free to get started on working on it if you are interested! We use a mypy plugin to analyze dataclasses so you'll probably want to start there https://github.com/python/mypy/blob/master/mypy/plugins/dataclasses.py

Enable lxml tests on Python 3.11 (#14134)

Since Python 3.11, Any is considered to be a base class. As stated here, mypy doesn't seem to support this feature yet when using NewType:

T = NewType("T", Any)
> error: Argument 2 to NewType(...) must be subclassable (got "Any")  [valid-newtype]

The issue was closed as wontfix but maybe this can now be supported?

Added #14293 for PEP 681 so that we can track it 😄

What about the changes to Concatenate introduced by python/cpython#30969? (#14656)

I believe we can consider dataclass_transform supported now

For completeness' sake, here's the PEP 646 issue:
#12280

I don't think we need to keep this open. Almost everything is now implemented, and for couple remaining things we have dedicated issues.

Navigation Menu

Repository navigation

Python 3.11 tracking issue #12840

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Python 3.11 tracking issue #12840

Description

Activity

AlexWaygood commented on May 22, 2022

hauntsaninja commented on Jul 15, 2022

hauntsaninja commented on Jul 16, 2022

hauntsaninja commented on Jul 27, 2022

hauntsaninja commented on Aug 5, 2022

NeilGirdhar commented on Aug 8, 2022

hauntsaninja commented on Aug 10, 2022

yoni-lavi commented on Nov 18, 2022

emmatyping commented on Nov 18, 2022

Viicos commented on Nov 30, 2022

NeilGirdhar commented on Dec 14, 2022

randolf-scholz commented on Feb 8, 2023

wesleywright commented on Mar 5, 2023

jorenham commented on Mar 6, 2023

ilevkivskyi commented on Oct 30, 2023

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions