Guido van Rossum

~Hm, I'm not actually aware of a PEP for this, so maybe it will miss 3.12, alas.~ It's not a syntactic feature, so presumably it could be backported using typing_extensions...

Whoops. Never mind me.

@wsanchez That is different. Are you using the right syntax for the platform check? Please ask on Gitter.

Do you want to work on this? What situation leads you to need this?

https://mypy.readthedocs.io/en/stable/common_issues.html#spurious-errors-and-locally-silencing-the-checker > You can use the form `# type: ignore[]` to only ignore specific errors on the line. This way you are less likely to silence unexpected errors that are...

I believe the issue is that `Type` is used for things that can be used as the second argument of `isinstance()`. And those things must be actual class objects (or...

I like TypeForm.

Good. And yeah, a lot has changed. Once you have this working we should make a PEP out of it.

Yeah, alas `Type[]` was not implemented very cleanly (it was one of the things I tried to do and I missed a lot of places). We do have to consider...

I expect PEP 646 to be a complex topic to soft-approve, given the complexity of implementation, so I recommend not blocking on that for too long (though waiting a little...