This is a tiny and uncontroversial typing spec change. I believe pyright and pyre do this already. Do note that I’m not yet proposing that type checkers must assume a Self type, we can pursue that separately.
4 Likes
I can confirm that Pyre does infer Self and type[Self] as described in this change