Alex Waygood

If it's not for you, that's fine :) You can see a comparison of the 3.5 and 4.2 releases here: https://github.com/stripe/stripe-python/compare/v3.5.0...v4.0.2

> While this is an overall understandable policy and not much of an hindrance for other typing-related repositories, I feel that this would be quite detrimental for typeshed. We often...

It is worth noting, though, that the new CLA bot is much easier for contributors to use than the old Knights Who Say Ni. (The requirement still seems to me...

> So, this is an interesting pitfall of using `Iterator[]` instead of `Generator[]` as [the docs suggest](https://docs.python.org/3/library/typing.html#typing.Generator): > > > A generator can be annotated by the generic type Generator[YieldType,...

If you upgrade to 0.930, mypy should be fine with the new syntax in stub files, even if you're running Python 3.8. Stub files have different rules to `.py` files.

Here are two other places in typeshed where we have `NoReturn` overloads that kinda-sorta-half work, where this feature would be useful: - `builtins.pow` (first overload): https://github.com/python/typeshed/blob/fabd8428572dcc20b7ae7919e16d9b4c87cf3da2/stdlib/builtins.pyi#L1330 - `datetime.date.__sub__` (second overload):...

I also like the idea of a decorator. How about `@always_errors`?

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...

> I will also add type/instance mismatch tests in a moment 🤔 Would be good to test `ABCMeta` specifically, as well, given how much it's special-cased by mypy!

> @AlexWaygood any specific case that you have in mind? The ones you added look good!