Repository navigation
Use TypeForm in __class_getitem__ for generics? #15770
Description
Activity
Worth trying, I think.
Type checkers might not fully support TypeForm yet, but if they don't the type should generally degrade to Any, which is no worse than the current situation.
Reacted by Sebastian Rittau and Andrew Yimmypy is actually throwing errors without
--enable-incomplete-feature=TypeForm, so seems like we should hold off for a bit. I might make a draft PR though.Maybe provisionally add that in the command in therun_mypy_as_subprocess()body here.Not sure if that still applies since typeshed now runs tests on more type checkers.
Now that
TypeFormis in 3.15+ andtyping_extensions, would it be reasonable to start using it in the__class_getitem__stubs for generic classes? That way, we could reject constructs likelist[3]without triggering false positives on things that are valid type expressions but not types.