Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix tuple[Any, ...] subtyping #16108

Merged
merged 11 commits into from
Sep 14, 2023
Merged

Fix tuple[Any, ...] subtyping #16108

merged 11 commits into from
Sep 14, 2023

Commits on Sep 14, 2023

  1. Fix tuple[Any, ...] subtyping 

    Follow up to python#16073 and python#16076
Fix needed for https://github.com/python/mypy/pull/16053/files#r1316481395

I add test cases that would have caught my previous incorrect PR. I add
an explicit case for the new desirable behaviour we see with zip.
    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    2044720 View commit details
    Browse the repository at this point in the history

  2. error

    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    6a4df2b View commit details
    Browse the repository at this point in the history

  3. fix meet

    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    c2250f8 View commit details
    Browse the repository at this point in the history

  4. Revert "fix meet" 

    This reverts commit c2250f8.
    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    e64a6cd View commit details
    Browse the repository at this point in the history

  5. suggestion

    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    17ad1ca View commit details
    Browse the repository at this point in the history

  6. use mapped type

    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    d5812b6 View commit details
    Browse the repository at this point in the history

  7. zip

    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    03fda8b View commit details
    Browse the repository at this point in the history

  8. base

    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    9840c37 View commit details
    Browse the repository at this point in the history

  9. Revert "base" 

    This reverts commit 9840c37.
    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    2c4f791 View commit details
    Browse the repository at this point in the history

  10. check

    @hauntsaninja
    hauntsaninja committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    e99d2f0 View commit details
    Browse the repository at this point in the history

  11. [pre-commit.ci] auto fixes from pre-commit.com hooks 

    for more information, see https://pre-commit.ci
    @pre-commit-ci
    pre-commit-ci[bot] committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    5c03731 View commit details
    Browse the repository at this point in the history