Michael J. Sullivan

@hughhan1 is looking at this I think

I don't think that subclassing `PyModule_Type` would be that complicated, but it might be a lot of code to generate

Yeah, it should be easy to import it lazily. This used to be trickier, because we used to have a class that needed to inherit from either some distutils thing...

#9558 was a good start on the infrastructure for this, but the mangling wasn't quite right. Adapting that to use a mangling scheme like turning a non-ascii character into `___3[the...

Ah, it needs an extra level of indirection in order to crash the compiler! ``` from mypy_extensions import trait from abc import abstractproperty @trait class A: @abstractproperty def foo(self) ->...

(abstractproperty is deprecated but stacking abstractmethod and property also breaks)

OK, I spent some time with PEP 525 and I think that implementing async generators will have a bunch of moving parts but should not be too bad. I think...

Oh, yeah, 3. Reject it in mypy because it is busted. is a solid option also. (Though we would maybe still end up basically wanting to implement option 2 on...

I implemented `join`. The rest would be great to have

Oh, argh. I think the core issue here is that we don't really understand class-level scoping. ... and it comes up with negative integers because mypyc doesn't understand negative integers...