[3.9] bpo-42195: Ensure consistency of Callable's __args__ in collections.abc and typing (GH-23060)

[Fidget-Spinner]

This patch fixes bpo-42195 via changing the GenericAlias builtin and subclassing for collections.abc.Callable's __class_getitem__. The changes are:

1. Made GenericAlias subclassable.
2. Subclassed it in collections.abc.Callable's __class_getitem__ to allow for consistentency with typing.Callable's __args__. This includes flattening the __args__.

>>>importcollections.abc>>>alias=collections.abc.Callable[[int, str], dict] >>>aliascollections.abc.Callable[[int, str], dict] >>>alias.__args__ (int, str, dict)

3. Added tests for the above.
4. Loosened type checks for Callable's argtypes in Callable[[argtypes], resulttype] to prepare for PEP 612.

https://bugs.python.org/issue42195

(cherry picked from commit 463c7d3)

[gvanrossum]

Thanks! Just what I had in mind.

[bedevere-bot]

A Python core developer has requested some changes be made to your pull request before we can consider merging it. If you could please address their requests along with any other requests in other reviews from core developers that would be appreciated.

Once you have made the requested changes, please leave a comment on this pull request containing the phrase I have made the requested changes; please review again. I will then notify any core developers who have left a review that you're ready for them to take another look at this pull request.

[gvanrossum]

I don't understand why you get test failures for test_ttk_guionly, but I don't think it's your fault. Possibly it'll pass now the tests are bein rerun.