Skip to content

Conversation

@srittau
Copy link
Collaborator

@srittau srittau commented Nov 1, 2025

Part of #7580

@github-actions
Copy link
Contributor

github-actions bot commented Nov 1, 2025

Diff from mypy_primer, showing the effect of this PR on open source code:

trio (https://github.com/python-trio/trio) - src/trio/_socket.py:244: error: Argument 1 to "getaddrinfo" of "HostnameResolver" has incompatible type "bytes | str | None"; expected "bytes | None" [arg-type] - src/trio/_tests/test_exports.py:163: error: Unused "type: ignore" comment [unused-ignore] + src/trio/_core/_traps.py:65: error: INTERNAL ERROR -- Please try using mypy master on GitHub: + https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build + Please report a bug at https://github.com/python/mypy/issues + version: 1.18.2 + src/trio/_core/_traps.py:65: : note: use --pdb to drop into pdb + Traceback (most recent call last): + File "mypy/checker.py", line 641, in accept + File "mypy/nodes.py", line 1122, in accept + File "mypy/checker.py", line 5414, in visit_decorator + File "mypy/checker.py", line 5421, in visit_decorator_inner + File "mypy/checker.py", line 1237, in check_func_item + File "mypy/checker.py", line 1401, in check_func_def + File "mypy/checker.py", line 7501, in named_generic_type + File "mypy/checker.py", line 7508, in lookup_typeinfo + File "mypy/checker.py", line 7591, in lookup_qualified + KeyError: "Could not find builtin symbol 'AwaitableGenerator' (If you are running a test case, use a fixture that defines this symbol)" discord.py (https://github.com/Rapptz/discord.py) - ...typeshed_to_test/stdlib/typing.pyi:1040: note: "update" of "TypedDict" defined here + ...typeshed_to_test/stdlib/typing.pyi:1028: note: "update" of "TypedDict" defined here 
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant