Out of curiousity, serious questions.

Is this support for specific features, or does it just not work in 3.11?

What's the issue? High level anyways, I'm sure there's stuff that seems basic, but is incredibly complex under the proverbial covers.

pytype works by symbolic execution of compiled python bytecode, and the bytecode changed a fair bit between 3.10 and 3.11. we essentially have to implement some of the new features of the cpython interpreter first to simply execute 3.11 code, after which we need to handle new typing features. (we have to do this for every new version, but usually the bytecode doesn't change as much, it's typically new python features like pattern matching, and new typing features like variadic generics, that take time to implement in pytype)

Thanks for the response. That sounds like a pretty monumental task