Sync typeshed by github-actions[bot] · Pull Request #13987 · python/mypy

mypybot and others added 3 commits

November 15, 2022 00:05
This is allegedly causing large performance problems, see 13821

typeshed/8231 had zero hits on mypy_primer, so it's not the worst thing
to undo. Patching this in typeshed also feels weird, since there's a
more general soundness issue. If a typevar has a bound or constraint, we
might not want to solve it to a Literal.

If we can confirm the performance regression or fix the unsoundness
within mypy, I might pursue upstreaming this in typeshed.

(Reminder: add this to the sync_typeshed script once merged)

hauntsaninja added a commit to hauntsaninja/mypy that referenced this pull request

Nov 18, 2022

@hauntsaninja

AlexWaygood pushed a commit to AlexWaygood/mypy that referenced this pull request

Feb 3, 2023

koogoro pushed a commit to koogoro/mypy that referenced this pull request

Feb 15, 2023

AlexWaygood added a commit to AlexWaygood/mypy that referenced this pull request

Jul 15, 2023

koogoro pushed a commit to koogoro/mypy that referenced this pull request

Aug 21, 2023

AlexWaygood added a commit to AlexWaygood/mypy that referenced this pull request

Sep 15, 2023

AlexWaygood added a commit to AlexWaygood/mypy that referenced this pull request

Dec 1, 2023

jhance pushed a commit to jhance/mypy that referenced this pull request

Jan 31, 2024

cdce8p pushed a commit to cdce8p/mypy that referenced this pull request

Feb 3, 2024

cdce8p pushed a commit to cdce8p/mypy that referenced this pull request

Feb 3, 2024

AlexWaygood added a commit to AlexWaygood/mypy that referenced this pull request

Mar 16, 2024

cdce8p pushed a commit to cdce8p/mypy that referenced this pull request

May 15, 2024

koogoro pushed a commit that referenced this pull request

May 23, 2024