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.

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

Remove builtins.function #5799

Closed
wants to merge 1 commit into from
Closed

Conversation

lancelote
Copy link
Contributor

Looks like the function class is no longer used in builtins.pyi for annotations. Can we get rid of it as it pollutes the completion options in e.g., PyCharm?

@github-actions
Copy link
Contributor

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

isort (https://github.com/pycqa/isort.git)
- Warning: unused section(s) in pyproject.toml: module = ['tests.*']
+ /tmp/mypy_primer/new_typeshed/typeshed_to_test/stdlib/typing.pyi:610: 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: 0.901
- isort/deprecated/finders.py:22: error: unused "type: ignore" comment
- isort/deprecated/finders.py:28: error: unused "type: ignore" comment
- isort/deprecated/finders.py:34: error: unused "type: ignore" comment
- isort/setuptools_commands.py:7: error: unused "type: ignore" comment
- isort/pylama_isort.py:6: error: unused "type: ignore" comment
+ Traceback (most recent call last):
+   File "mypy/checker.py", line 401, in accept
+   File "mypy/nodes.py", line 526, in accept
+   File "mypy/checker.py", line 434, in visit_overloaded_func_def
+   File "mypy/checker.py", line 461, in _visit_overloaded_func_def
+   File "mypy/checker.py", line 518, in check_overlapping_overloads
+   File "mypy/checker.py", line 5394, in is_unsafe_overlapping_overload_signatures
+   File "mypy/subtypes.py", line 861, in is_callable_compatible
+   File "mypy/subtypes.py", line 1094, in unify_generic_callable
+   File "mypy/solve.py", line 45, in solve_constraints
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 1156, in accept
+   File "mypy/join.py", line 217, in visit_callable_type
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 928, in accept
+   File "mypy/join.py", line 162, in visit_type_var
+   File "mypy/join.py", line 352, in default
+   File "mypy/join.py", line 510, in object_from_instance
+ IndexError: list index out of range

anyio (https://github.com/agronholm/anyio.git)
- src/anyio/_backends/_asyncio.py:188: error: Argument 1 to "getgeneratorstate" has incompatible type "Union[Generator[Optional[Future[object]], None, Any], Awaitable[Any]]"; expected "Generator[Any, Any, Any]"
- src/anyio/_backends/_asyncio.py:1283: error: unused "type: ignore" comment
- src/anyio/_backends/_asyncio.py:1820: error: Argument 4 to "TaskInfo" has incompatible type "Union[Generator[Optional[Future[object]], None, Any], Awaitable[Any]]"; expected "Coroutine[Any, Any, Any]"
+ /tmp/mypy_primer/new_typeshed/typeshed_to_test/stdlib/typing.pyi:610: 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: 0.901
+ Traceback (most recent call last):
+   File "mypy/checker.py", line 401, in accept
+   File "mypy/nodes.py", line 526, in accept
+   File "mypy/checker.py", line 434, in visit_overloaded_func_def
+   File "mypy/checker.py", line 461, in _visit_overloaded_func_def
+   File "mypy/checker.py", line 518, in check_overlapping_overloads
+   File "mypy/checker.py", line 5394, in is_unsafe_overlapping_overload_signatures
+   File "mypy/subtypes.py", line 861, in is_callable_compatible
+   File "mypy/subtypes.py", line 1094, in unify_generic_callable
+   File "mypy/solve.py", line 45, in solve_constraints
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 1156, in accept
+   File "mypy/join.py", line 217, in visit_callable_type
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 928, in accept
+   File "mypy/join.py", line 162, in visit_type_var
+   File "mypy/join.py", line 352, in default
+   File "mypy/join.py", line 510, in object_from_instance
+ IndexError: list index out of range

kopf (https://github.com/nolar/kopf.git)
+ /tmp/mypy_primer/new_typeshed/typeshed_to_test/stdlib/typing.pyi:610: 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: 0.901
- kopf/_cogs/structs/dicts.py:297: error: Unsupported operand types for + ("Tuple[str, ...]" and "Tuple[_K]")
- kopf/_cogs/structs/dicts.py:323: error: Unsupported operand types for + ("Tuple[str, ...]" and "Tuple[_K]")
- kopf/cli.py:95: error: Unsupported operand types for + ("Tuple[Union[str, Pattern[Any]], ...]" and "Tuple[Optional[str]]")
+ Traceback (most recent call last):
+   File "mypy/checker.py", line 401, in accept
+   File "mypy/nodes.py", line 526, in accept
+   File "mypy/checker.py", line 434, in visit_overloaded_func_def
+   File "mypy/checker.py", line 461, in _visit_overloaded_func_def
+   File "mypy/checker.py", line 518, in check_overlapping_overloads
+   File "mypy/checker.py", line 5394, in is_unsafe_overlapping_overload_signatures
+   File "mypy/subtypes.py", line 861, in is_callable_compatible
+   File "mypy/subtypes.py", line 1094, in unify_generic_callable
+   File "mypy/solve.py", line 45, in solve_constraints
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 1156, in accept
+   File "mypy/join.py", line 217, in visit_callable_type
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 928, in accept
+   File "mypy/join.py", line 162, in visit_type_var
+   File "mypy/join.py", line 352, in default
+   File "mypy/join.py", line 510, in object_from_instance
+ IndexError: list index out of range

yarl (https://github.com/aio-libs/yarl.git)
+ /tmp/mypy_primer/new_typeshed/typeshed_to_test/stdlib/typing.pyi:610: 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: 0.901
+ Traceback (most recent call last):
+   File "mypy/checker.py", line 401, in accept
+   File "mypy/nodes.py", line 526, in accept
+   File "mypy/checker.py", line 434, in visit_overloaded_func_def
+   File "mypy/checker.py", line 461, in _visit_overloaded_func_def
+   File "mypy/checker.py", line 518, in check_overlapping_overloads
+   File "mypy/checker.py", line 5394, in is_unsafe_overlapping_overload_signatures
+   File "mypy/subtypes.py", line 861, in is_callable_compatible
+   File "mypy/subtypes.py", line 1094, in unify_generic_callable
+   File "mypy/solve.py", line 45, in solve_constraints
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 1156, in accept
+   File "mypy/join.py", line 217, in visit_callable_type
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 928, in accept
+   File "mypy/join.py", line 162, in visit_type_var
+   File "mypy/join.py", line 352, in default
+   File "mypy/join.py", line 510, in object_from_instance
+ IndexError: list index out of range

pyjwt (https://github.com/jpadilla/pyjwt.git)
- jwt/utils.py:12: error: unused "type: ignore" comment
+ /tmp/mypy_primer/new_typeshed/typeshed_to_test/stdlib/typing.pyi:610: 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: 0.901
- jwt/help.py:10: error: unused "type: ignore" comment
+ Traceback (most recent call last):
+   File "mypy/checker.py", line 401, in accept
+   File "mypy/nodes.py", line 526, in accept
+   File "mypy/checker.py", line 434, in visit_overloaded_func_def
+   File "mypy/checker.py", line 461, in _visit_overloaded_func_def
+   File "mypy/checker.py", line 518, in check_overlapping_overloads
+   File "mypy/checker.py", line 5394, in is_unsafe_overlapping_overload_signatures
+   File "mypy/subtypes.py", line 861, in is_callable_compatible
+   File "mypy/subtypes.py", line 1094, in unify_generic_callable
+   File "mypy/solve.py", line 45, in solve_constraints
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 1156, in accept
+   File "mypy/join.py", line 217, in visit_callable_type
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 928, in accept
+   File "mypy/join.py", line 162, in visit_type_var
+   File "mypy/join.py", line 352, in default
+   File "mypy/join.py", line 510, in object_from_instance
+ IndexError: list index out of range

pylint (https://github.com/pycqa/pylint.git)
+ /tmp/mypy_primer/new_typeshed/typeshed_to_test/stdlib/typing.pyi:610: 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: 0.901
+ Traceback (most recent call last):
+   File "mypy/checker.py", line 401, in accept
+   File "mypy/nodes.py", line 526, in accept
+   File "mypy/checker.py", line 434, in visit_overloaded_func_def
+   File "mypy/checker.py", line 461, in _visit_overloaded_func_def
+   File "mypy/checker.py", line 518, in check_overlapping_overloads
+   File "mypy/checker.py", line 5394, in is_unsafe_overlapping_overload_signatures
+   File "mypy/subtypes.py", line 861, in is_callable_compatible
+   File "mypy/subtypes.py", line 1094, in unify_generic_callable
+   File "mypy/solve.py", line 45, in solve_constraints
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 1156, in accept
+   File "mypy/join.py", line 217, in visit_callable_type
+   File "mypy/join.py", line 113, in join_types
+   File "mypy/types.py", line 928, in accept
+   File "mypy/join.py", line 162, in visit_type_var
+   File "mypy/join.py", line 352, in default
+   File "mypy/join.py", line 510, in object_from_instance
+ IndexError: list index out of range

mypy (https://github.com/python/mypy.git)
+ /tmp/mypy_primer/new_typeshed/typeshed_to_test/stdlib/typing.pyi:610: 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: 0.901
- mypy/fastparse.py:101: error: Return type becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:110: error: unused "type: ignore" comment
- mypy/fastparse.py:283: error: Argument 1 to "is_no_type_check_decorator" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:308: error: Type of variable becomes "Dict[type, Callable[[Optional[Any]], Any]]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:321: error: Argument 2 to "visit" becomes "Optional[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:332: error: Argument 3 to "set_line" becomes "Union[Any, Any, Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:338: error: Argument 2 to "translate_opt_expr_list" becomes "Sequence[Optional[Any]]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:345: error: Argument 2 to "translate_expr_list" becomes "Sequence[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:348: error: Argument 2 to "get_lineno" becomes "Union[Any, Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:354: error: Argument 2 to "translate_stmt_list" becomes "Sequence[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:373: error: Argument 2 to "translate_type_comment" becomes "Union[Any, Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:388: error: Type of variable becomes "Dict[Type[Any], str]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:404: error: Argument 2 to "from_operator" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:411: error: Type of variable becomes "Dict[Type[Any], str]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:424: error: Argument 2 to "from_comp_operator" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:431: error: Argument 2 to "as_block" becomes "List[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:438: error: Argument 2 to "as_required_block" becomes "List[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:494: error: Argument 2 to "visit_Module" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:497: error: unused "type: ignore" comment
- mypy/fastparse.py:514: error: Argument 2 to "visit_FunctionDef" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:519: error: Argument 2 to "visit_AsyncFunctionDef" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:522: error: Argument 2 to "do_func_def" becomes "Union[Any, Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:662: error: Argument 2 to "transform_args" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:668: error: Type of variable becomes "List[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:669: error: Redundant cast to "List[Any]"  [redundant-cast]
- mypy/fastparse.py:669: error: Target type of cast becomes "List[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:708: error: Argument 2 to "make_argument" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:708: error: Argument 3 to "make_argument" becomes "Optional[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:727: error: Argument 3 to "fail_arg" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:735: error: Argument 2 to "visit_ClassDef" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:760: error: Argument 2 to "visit_Return" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:765: error: Argument 2 to "visit_Delete" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:775: error: Argument 2 to "visit_Assign" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:783: error: Argument 2 to "visit_AnnAssign" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:798: error: Argument 2 to "visit_AugAssign" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:805: error: Argument 2 to "visit_For" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:815: error: Argument 2 to "visit_AsyncFor" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:826: error: Argument 2 to "visit_While" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:833: error: Argument 2 to "visit_If" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:841: error: Argument 2 to "visit_With" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:850: error: Argument 2 to "visit_AsyncWith" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:860: error: Argument 2 to "visit_Raise" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:865: error: Argument 2 to "visit_Try" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:881: error: Argument 2 to "visit_Assert" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:886: error: Argument 2 to "visit_Import" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:902: error: Argument 2 to "visit_ImportFrom" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:915: error: Argument 2 to "visit_Global" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:920: error: Argument 2 to "visit_Nonlocal" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:925: error: Argument 2 to "visit_Expr" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:931: error: Argument 2 to "visit_Pass" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:936: error: Argument 2 to "visit_Break" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:941: error: Argument 2 to "visit_Continue" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:952: error: Argument 2 to "visit_BoolOp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:966: error: Argument 4 to "group" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:974: error: Argument 2 to "visit_BinOp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:984: error: Argument 2 to "visit_UnaryOp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1002: error: Argument 2 to "visit_Lambda" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1013: error: Argument 2 to "visit_IfExp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1020: error: Argument 2 to "visit_Dict" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1026: error: Argument 2 to "visit_Set" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1031: error: Argument 2 to "visit_ListComp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1032: error: Target type of cast becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1036: error: Argument 2 to "visit_SetComp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1037: error: Target type of cast becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1041: error: Argument 2 to "visit_DictComp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1055: error: Argument 2 to "visit_GeneratorExp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1068: error: Argument 2 to "visit_Await" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1074: error: Argument 2 to "visit_Yield" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1079: error: Argument 2 to "visit_YieldFrom" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1084: error: Argument 2 to "visit_Compare" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1092: error: Argument 2 to "visit_Call" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1132: error: Argument 2 to "visit_Num" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1149: error: Argument 2 to "visit_Str" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1160: error: Argument 2 to "visit_JoinedStr" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1179: error: Argument 2 to "visit_FormattedValue" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1199: error: Argument 2 to "visit_Bytes" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1204: error: Argument 2 to "visit_NameConstant" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1209: error: Argument 2 to "visit_Ellipsis" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1214: error: Argument 2 to "visit_Attribute" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1227: error: Argument 2 to "visit_Subscript" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1245: error: Argument 2 to "visit_Starred" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1250: error: Argument 2 to "visit_Name" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1255: error: Argument 2 to "visit_List" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1265: error: Argument 2 to "visit_Tuple" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1272: error: Argument 2 to "visit_Slice" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1278: error: Argument 2 to "visit_ExtSlice" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1283: error: Argument 2 to "visit_Index" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1299: error: Type of variable becomes "List[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1314: error: Argument 2 to "invalid_type" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1333: error: Argument 2 to "visit" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1336: error: Argument 2 to "visit" becomes "Optional[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1336: error: Overloaded function signature 2 will never be matched: signature 1's parameter type(s) are the same or broader  [misc]
- mypy/fastparse.py:1338: error: Argument 2 to "visit" becomes "Optional[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1353: error: Return type becomes "Optional[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1367: error: Argument 2 to "translate_expr_list" becomes "Sequence[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1381: error: Argument 2 to "visit_Call" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1427: error: Argument 2 to "translate_argument_list" becomes "Sequence[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1430: error: Argument 2 to "_extract_argument_name" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1439: error: Argument 2 to "visit_Name" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1442: error: Argument 2 to "visit_BinOp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1454: error: Argument 2 to "visit_NameConstant" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1489: error: Argument 2 to "visit_UnaryOp" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1499: error: Argument 3 to "numeric_type" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1525: error: Argument 2 to "visit_Num" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1529: error: Argument 2 to "visit_Str" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1550: error: Argument 2 to "visit_Bytes" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1556: error: Argument 2 to "visit_Subscript" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1586: error: Argument 2 to "visit_Tuple" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1591: error: Argument 2 to "visit_Attribute" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1600: error: Argument 2 to "visit_Ellipsis" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1604: error: Argument 2 to "visit_List" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse.py:1609: error: Argument 1 to "stringify_name" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:69: error: unused "type: ignore" comment
+ Traceback (most recent call last):
+   File "mypy/checker.py", line 401, in accept
+     try:
+   File "mypy/nodes.py", line 526, in accept
+     return self.impl.name
+   File "mypy/checker.py", line 434, in visit_overloaded_func_def
+     with self.tscope.function_scope(defn):
+   File "mypy/checker.py", line 461, in _visit_overloaded_func_def
+     if not defn.is_property:
+   File "mypy/checker.py", line 518, in check_overlapping_overloads
+     with state.strict_optional_set(True):
+   File "mypy/checker.py", line 5394, in is_unsafe_overlapping_overload_signatures
+     # refuse to do any type inference for now
+   File "mypy/subtypes.py", line 861, in is_callable_compatible
+     # Apply generic type variables away in left via type inference.
+   File "mypy/subtypes.py", line 1094, in unify_generic_callable
+     type_var_ids = [tvar.id for tvar in type.variables]
+   File "mypy/solve.py", line 45, in solve_constraints
+     bottom = join_types(bottom, c.target)
+   File "mypy/join.py", line 113, in join_types
+     s = get_proper_type(s)
+   File "mypy/types.py", line 1156, in accept
+     ret = get_proper_type(self.ret_type)
+   File "mypy/join.py", line 217, in visit_callable_type
+     def visit_union_type(self, t: UnionType) -> ProperType:
+   File "mypy/join.py", line 113, in join_types
+     s = get_proper_type(s)
+   File "mypy/types.py", line 928, in accept
+     self.id: TypeVarId = binder.id
+   File "mypy/join.py", line 162, in visit_type_var
+     For example, the join of 'int' and 'object' is 'object'.
+   File "mypy/join.py", line 352, in default
+     return result[0]
+   File "mypy/join.py", line 510, in object_from_instance
+     fallback = t.fallback
+ IndexError: list index out of range
- mypy/fastparse2.py:134: error: Argument 1 to "is_no_type_check_decorator" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:174: error: Type of variable becomes "Dict[type, Callable[[Optional[Any]], Any]]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:182: error: Argument 2 to "visit" becomes "Optional[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:193: error: Argument 3 to "set_line" becomes "Union[Any, Any, Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:198: error: Argument 2 to "translate_expr_list" becomes "Sequence[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:206: error: Argument 2 to "get_lineno" becomes "Union[Any, Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:211: error: Argument 2 to "translate_stmt_list" becomes "Sequence[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:230: error: Argument 2 to "translate_type_comment" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:245: error: Type of variable becomes "Dict[Type[Any], str]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:260: error: Argument 2 to "from_operator" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:269: error: Type of variable becomes "Dict[Type[Any], str]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:282: error: Argument 2 to "from_comp_operator" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:289: error: Argument 2 to "as_block" becomes "List[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:296: error: Argument 2 to "as_required_block" becomes "List[Any]" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:347: error: Argument 2 to "visit_Module" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:350: error: unused "type: ignore" comment
- mypy/fastparse2.py:367: error: Argument 2 to "visit_FunctionDef" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:480: error: Argument 2 to "transform_args" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:533: error: Argument 2 to "extract_names" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:541: error: Argument 3 to "convert_arg" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:575: error: Argument 2 to "stringify_name" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:588: error: Argument 2 to "visit_ClassDef" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:604: error: Argument 2 to "visit_Return" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:609: error: Argument 2 to "visit_Delete" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:619: error: Argument 2 to "visit_Assign" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:627: error: Argument 2 to "visit_AugAssign" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:634: error: Argument 2 to "visit_For" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:644: error: Argument 2 to "visit_While" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:651: error: Argument 2 to "visit_If" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:658: error: Argument 2 to "visit_With" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:666: error: Argument 2 to "visit_Raise" becomes "Any" due to an unfollowed import  [no-any-unimported]
- mypy/fastparse2.py:682: error: Argument 2 to "visit_TryExcept" becomes "A```

@srittau
Copy link
Collaborator

srittau commented Jul 23, 2021

Unfortunately that is currently not possible. See also #2999 and python/mypy#8240.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants