basedpyright
basedpyright copied to clipboard
DetachHead
Fix the stubs for `Any`
This is currently causing anything that is Any to be seen as Unknown
Or that it's a real class and nothing is compatible with it.
Diff from mypy_primer, showing the effect of this PR on open source code:
pyp (https://github.com/hauntsaninja/pyp)
- /tmp/mypy_primer/projects/pyp/pyp.py:12:20 - error: Type of "Any" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:60:13 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:63:6 - error: Argument of type "(self: Self@NameFinder) -> Set[str]" cannot be assigned to parameter "fget" of type "((Any) -> Any) | None" in function "__init__"
+ Type "(self: Self@NameFinder) -> Set[str]" cannot be assigned to type "((Any) -> Any) | None"
+ Type "(self: Self@NameFinder) -> Set[str]" cannot be assigned to type "(Any) -> Any"
+ Parameter 1: type "Any" cannot be assigned to type "Self@NameFinder"
+ Type "Any" cannot be assigned to type "Self@NameFinder"
+ Function return type "Set[str]" is incompatible with type "Any"
+ "Set[str]" is incompatible with "Any"
+ "function" is incompatible with "None" (reportArgumentType)
- /tmp/mypy_primer/projects/pyp/pyp.py:67:30 - error: Type of parameter "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:71:21 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:73:13 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:75:9 - error: Method "generic_visit" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:13 - error: Type of "_" is unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/pyp/pyp.py:81:16 - error: Type of "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:16 - error: Type of "value" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:25 - error: No overloads for "sorted" match the provided arguments (reportCallIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:59 - error: Argument of type "(f_v: Tuple[str, Any]) -> int" cannot be assigned to parameter "key" of type "(_T@sorted) -> SupportsRichComparison" in function "sorted"
+ Type "(f_v: Tuple[str, Any]) -> int" cannot be assigned to type "(tuple[str, Any]) -> SupportsRichComparison"
+ Function return type "int" is incompatible with type "SupportsRichComparison"
+ Type "int" cannot be assigned to type "SupportsRichComparison"
+ "int" is incompatible with protocol "SupportsDunderLT[Any]"
+ "__lt__" is an incompatible type
+ "int" is incompatible with protocol "SupportsDunderGT[Any]"
+ "__gt__" is an incompatible type (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:82:33 - error: Argument type is unknown
+ Argument corresponds to parameter "value" in function "flexible_visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:84:9 - error: Method "visit_Name" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:93:9 - error: Method "visit_Global" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:96:9 - error: Method "visit_Nonlocal" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:100:9 - error: Method "visit_AugAssign" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:107:9 - error: Method "visit_NamedExpr" overrides class "NodeVisitor" in an incompatible manner
+ Parameter 2 type mismatch: base parameter is type "NamedExpr", override parameter is type "Any"
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "NamedExpr" is incompatible with "Any"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
- /tmp/mypy_primer/projects/pyp/pyp.py:107:31 - error: Type of parameter "node" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:9 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
- /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Type of "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Type of "value" is unknown (reportUnknownMemberType)
- /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Argument type is Any
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Argument type is unknown
- Argument corresponds to parameter "node" in function "visit" (reportAny)
+ Argument corresponds to parameter "node" in function "visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:25 - error: Cannot access member "value" for type "Any"
+ Member "value" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:110:27 - error: Type of "target" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:110:27 - error: Type of "target" is unknown (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:110:32 - error: Cannot access member "target" for type "Any"
+ Member "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:111:32 - error: Cannot access member "target" for type "Any"
+ Member "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:117:44 - error: Cannot access member "target" for type "Any"
+ Member "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:119:9 - error: Method "visit_alias" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:125:9 - error: Method "visit_ImportFrom" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:130:9 - error: Method "visit_ClassDef" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:131:29 - error: Argument of type "list[expr]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[expr]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:132:29 - error: Argument of type "list[expr]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[expr]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:133:29 - error: Argument of type "list[keyword]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[keyword]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:136:29 - error: Argument of type "list[stmt]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[stmt]" is incompatible with "Any" (reportArgumentType)
- /tmp/mypy_primer/projects/pyp/pyp.py:141:37 - error: Type of parameter "node" is Any (reportAny)
- /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Type of "args" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Type of "args" is unknown (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Argument type is unknown
+ Argument corresponds to parameter "value" in function "flexible_visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:34 - error: Cannot access member "args" for type "Any"
+ Member "args" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Type of "args" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Type of "args" is unknown (reportUnknownMemberType)
- /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Argument type is Any
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Argument type is unknown
- Argument corresponds to parameter "node" in function "iter_child_nodes" (reportAny)
+ Argument corresponds to parameter "node" in function "iter_child_nodes" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:51 - error: Cannot access member "args" for type "Any"
+ Member "args" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:151:29 - error: Type of "body" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:151:29 - error: Type of "body" is unknown (reportUnknownMemberType)
... (truncated 198 lines) ...
rclip (https://github.com/yurijmikhalevich/rclip)
+ /tmp/mypy_primer/projects/rclip/rclip/db.py
+ /tmp/mypy_primer/projects/rclip/rclip/db.py:103:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 30 errors, 14 warnings, 0 notes
+ 31 errors, 14 warnings, 0 notes
alectryon (https://github.com/cpitclaudel/alectryon)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:38:29 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:398:10 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:407:27 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- Override type "Dict[str, Any]" is not the same as base type "dict[str, (str) -> Any] | None" (reportIncompatibleVariableOverride)
+ Override type "Dict[str, Unknown]" is not the same as base type "dict[str, (str) -> Unknown] | None" (reportIncompatibleVariableOverride)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:802:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:903:41 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:912:38 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:938:36 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1052:40 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1082:42 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- Override type "Dict[str, Any]" is not the same as base type "dict[str, (str) -> Any] | None" (reportIncompatibleVariableOverride)
+ Override type "Dict[str, Unknown]" is not the same as base type "dict[str, (str) -> Unknown] | None" (reportIncompatibleVariableOverride)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1120:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1317:59 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:71:24 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:79:26 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:238:24 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:238:32 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py:106:32 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py:163:68 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean4.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean4.py:52:79 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/minimal.py:41:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:65:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:70:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:213:81 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 33 errors, 37 warnings, 0 notes
+ 55 errors, 37 warnings, 0 notes
pyinstrument (https://github.com/joerick/pyinstrument)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:12:39 - error: Type of "cast" is partially unknown
+ Type of "cast" is "Overload[(typ: type[_T@cast], val: Unknown) -> _T@cast, (typ: str, val: Unknown) -> Unknown, (typ: object, val: Unknown) -> Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:21:5 - error: Type of "object_with_import_path" is partially unknown
+ Type of "object_with_import_path" is "(import_path: str) -> Unknown" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:306:22 - error: Type of "args" is partially unknown
+ Type of "args" is "tuple[Unknown, ...]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:306:22 - error: Argument type is unknown
+ Argument corresponds to parameter "msg" in function "error" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:330:13 - error: Type of "globs" is partially unknown
+ Type of "globs" is "dict[str, ((mod_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None, alter_sys: bool = False) -> dict[str, Unknown]) | str]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:330:36 - error: Type of "run_module" is partially unknown
+ Type of "run_module" is "(mod_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None, alter_sys: bool = False) -> dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:352:13 - error: Type of "globs" is partially unknown
+ Type of "globs" is "dict[str, ((path_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None) -> dict[str, Unknown]) | str]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:352:34 - error: Type of "run_path" is partially unknown
+ Type of "run_path" is "(path_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:389:5 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:391:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:418:5 - error: Type of "render_options" is partially unknown
+ Type of "render_options" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:418:31 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:429:9 - error: Type of "unicode" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:429:18 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:430:9 - error: Type of "color" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:430:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:432:9 - error: Type of "update" is partially unknown
+ Type of "update" is "Overload[(m: SupportsKeysAndGetItem[str, Unknown], /, **kwargs: Unknown) -> None, (m: Iterable[tuple[str, Unknown]], /, **kwargs: Unknown) -> None, (**kwargs: Unknown) -> None]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:446:17 - error: Type of "set_value_at_keypath" is partially unknown
+ Type of "set_value_at_keypath" is "(obj: Unknown, keypath: str, val: Unknown) -> Literal[True]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:451:21 - error: Type of "parsed_value" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:451:36 - error: Type of "loads" is partially unknown
+ Type of "loads" is "(s: str | bytes | bytearray, *, cls: type[JSONDecoder] | None = None, object_hook: ((dict[Unknown, Unknown]) -> Unknown) | None = None, parse_float: ((str) -> Unknown) | None = None, parse_int: ((str) -> Unknown) | None = None, parse_constant: ((str) -> Unknown) | None = None, object_pairs_hook: ((list[tuple[Unknown, Unknown]]) -> Unknown) | None = None, **kwds: Unknown) -> Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:456:17 - error: Type of "set_value_at_keypath" is partially unknown
+ Type of "set_value_at_keypath" is "(obj: Unknown, keypath: str, val: Unknown) -> Literal[True]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:458:12 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:468:5 - error: Type of "render_options" is partially unknown
+ Type of "render_options" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:507:20 - error: Return type is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:567:5 - error: Type of "sort" is partially unknown
+ Type of "sort" is "Overload[(*, key: None = None, reverse: bool = False) -> None, (*, key: (str) -> (SupportsDunderLT[Unknown] | SupportsDunderGT[Unknown]), reverse: bool = False) -> None]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:22:30 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:25:43 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:41:47 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:59:51 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:95:57 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:117:5 - error: Type of "hide_regex" is partially unknown
+ Type of "hide_regex" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:117:30 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:118:5 - error: Type of "show_regex" is partially unknown
+ Type of "show_regex" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:118:30 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:123:61 - error: Argument type is unknown
+ Argument corresponds to parameter "pattern" in function "match" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:124:61 - error: Argument type is unknown
+ Argument corresponds to parameter "pattern" in function "match" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:153:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:183:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:203:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:222:5 - error: Type of "filter_threshold" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:222:24 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:238:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/profiler.py
... (truncated 271 lines) ...
pydantic (https://github.com/samuelcolvin/pydantic)
+ /tmp/mypy_primer/projects/pydantic/pydantic/_migration.py
+ /tmp/mypy_primer/projects/pydantic/pydantic/_migration.py:249:55 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/_migration.py:303:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/annotated_handlers.py:67:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/annotated_handlers.py:82:44 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/annotated_handlers.py:118:49 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/color.py:45:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/color.py:45:41 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/color.py:234:27 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/color.py:234:52 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/color.py:241:39 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/color.py:241:47 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/color.py:250:29 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/color.py:257:30 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/config.py:20:25 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/config.py:20:31 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/config.py:24:30 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/dataclasses.py:149:51 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/dataclasses.py:184:36 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/dataclasses.py:259:30 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/dataclasses.py:259:45 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/dataclasses.py:275:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/dataclasses.py:299:40 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/dataclasses.py:318:39 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:36:9 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:49:22 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:50:42 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:57:20 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:86:14 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:124:22 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:125:14 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:126:42 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:133:20 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:144:20 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pydantic/pydantic/fields.py:173:58 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
... (truncated 1559 lines) ...```
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
Diff from mypy_primer, showing the effect of this PR on open source code:
rclip (https://github.com/yurijmikhalevich/rclip)
+ /tmp/mypy_primer/projects/rclip/rclip/db.py
+ /tmp/mypy_primer/projects/rclip/rclip/db.py:103:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 30 errors, 14 warnings, 0 notes
+ 31 errors, 14 warnings, 0 notes
pyinstrument (https://github.com/joerick/pyinstrument)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:12:39 - error: Type of "cast" is partially unknown
+ Type of "cast" is "Overload[(typ: type[_T@cast], val: Unknown) -> _T@cast, (typ: str, val: Unknown) -> Unknown, (typ: object, val: Unknown) -> Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:21:5 - error: Type of "object_with_import_path" is partially unknown
+ Type of "object_with_import_path" is "(import_path: str) -> Unknown" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:306:22 - error: Type of "args" is partially unknown
+ Type of "args" is "tuple[Unknown, ...]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:306:22 - error: Argument type is unknown
+ Argument corresponds to parameter "msg" in function "error" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:330:13 - error: Type of "globs" is partially unknown
+ Type of "globs" is "dict[str, ((mod_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None, alter_sys: bool = False) -> dict[str, Unknown]) | str]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:330:36 - error: Type of "run_module" is partially unknown
+ Type of "run_module" is "(mod_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None, alter_sys: bool = False) -> dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:352:13 - error: Type of "globs" is partially unknown
+ Type of "globs" is "dict[str, ((path_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None) -> dict[str, Unknown]) | str]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:352:34 - error: Type of "run_path" is partially unknown
+ Type of "run_path" is "(path_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:389:5 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:391:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:418:5 - error: Type of "render_options" is partially unknown
+ Type of "render_options" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:418:31 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:429:9 - error: Type of "unicode" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:429:18 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:430:9 - error: Type of "color" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:430:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:432:9 - error: Type of "update" is partially unknown
+ Type of "update" is "Overload[(m: SupportsKeysAndGetItem[str, Unknown], /, **kwargs: Unknown) -> None, (m: Iterable[tuple[str, Unknown]], /, **kwargs: Unknown) -> None, (**kwargs: Unknown) -> None]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:446:17 - error: Type of "set_value_at_keypath" is partially unknown
+ Type of "set_value_at_keypath" is "(obj: Unknown, keypath: str, val: Unknown) -> Literal[True]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:451:21 - error: Type of "parsed_value" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:451:36 - error: Type of "loads" is partially unknown
+ Type of "loads" is "(s: str | bytes | bytearray, *, cls: type[JSONDecoder] | None = None, object_hook: ((dict[Unknown, Unknown]) -> Unknown) | None = None, parse_float: ((str) -> Unknown) | None = None, parse_int: ((str) -> Unknown) | None = None, parse_constant: ((str) -> Unknown) | None = None, object_pairs_hook: ((list[tuple[Unknown, Unknown]]) -> Unknown) | None = None, **kwds: Unknown) -> Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:456:17 - error: Type of "set_value_at_keypath" is partially unknown
+ Type of "set_value_at_keypath" is "(obj: Unknown, keypath: str, val: Unknown) -> Literal[True]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:458:12 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:468:5 - error: Type of "render_options" is partially unknown
+ Type of "render_options" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:507:20 - error: Return type is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:567:5 - error: Type of "sort" is partially unknown
+ Type of "sort" is "Overload[(*, key: None = None, reverse: bool = False) -> None, (*, key: (str) -> (SupportsDunderLT[Unknown] | SupportsDunderGT[Unknown]), reverse: bool = False) -> None]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:22:30 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:25:43 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:41:47 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:59:51 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:95:57 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:117:5 - error: Type of "hide_regex" is partially unknown
+ Type of "hide_regex" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:117:30 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:118:5 - error: Type of "show_regex" is partially unknown
+ Type of "show_regex" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:118:30 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:123:61 - error: Argument type is unknown
+ Argument corresponds to parameter "pattern" in function "match" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:124:61 - error: Argument type is unknown
+ Argument corresponds to parameter "pattern" in function "match" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:153:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:183:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:203:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:222:5 - error: Type of "filter_threshold" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:222:24 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:238:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/profiler.py
... (truncated 271 lines) ...
alectryon (https://github.com/cpitclaudel/alectryon)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:38:29 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:398:10 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:407:27 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- Override type "Dict[str, Any]" is not the same as base type "dict[str, (str) -> Any] | None" (reportIncompatibleVariableOverride)
+ Override type "Dict[str, Unknown]" is not the same as base type "dict[str, (str) -> Unknown] | None" (reportIncompatibleVariableOverride)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:802:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:903:41 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:912:38 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:938:36 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1052:40 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1082:42 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- Override type "Dict[str, Any]" is not the same as base type "dict[str, (str) -> Any] | None" (reportIncompatibleVariableOverride)
+ Override type "Dict[str, Unknown]" is not the same as base type "dict[str, (str) -> Unknown] | None" (reportIncompatibleVariableOverride)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1120:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1317:59 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:71:24 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:79:26 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:238:24 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:238:32 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py:106:32 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py:163:68 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean4.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean4.py:52:79 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/minimal.py:41:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:65:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:70:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:213:81 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 33 errors, 37 warnings, 0 notes
+ 55 errors, 37 warnings, 0 notes
steam.py (https://github.com/Gobot1234/steam.py)
+ /tmp/mypy_primer/projects/steam.py/poetry_build.py:28:21 - error: Type of "findall" is partially unknown
+ Type of "findall" is "Overload[(pattern: str | Pattern[str], string: str, flags: int | RegexFlag = 0) -> list[Unknown], (pattern: bytes | Pattern[bytes], string: Buffer, flags: int | RegexFlag = 0) -> list[Unknown]]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/steam.py/poetry_build.py:39:29 - error: Type of "check_output" is partially unknown
+ Type of "check_output" is "Overload[(args: str | bytes | PathLike[str] | PathLike[bytes] | Sequence[str | bytes | PathLike[str] | PathLike[bytes]], bufsize: int = -1, executable: str | bytes | PathLike[str] | PathLike[bytes] | None = None, stdin: int | IO[Unknown] | None = None, stderr: int | IO[Unknown] | None = None, preexec_fn: (() -> Unknown) | None = None, close_fds: bool = True, shell: bool = False, cwd: str | bytes | PathLike[str] | PathLike[bytes] | None = None, env: Mapping[str, str] | None = None, universal_newlines: bool | None = None, startupinfo: Unknown = None, creationflags: int = 0, restore_signals: bool = True, start_new_session: bool = False, pass_fds: Collection[int] = ..., *, timeout: float | None = None, input: Buffer | str | None = ..., encoding: str | None = None, errors: str | None = None, text: Literal[True], user: str | int | None = None, group: str | int | None = None, extra_groups: Iterable[str | int] | None = None, umask: int = -1, pipesize: int = -1) -> str, (args: str | bytes | PathLike[str] | PathLike[bytes] | Sequence[str | bytes | PathLike[str] | PathLike[bytes]], bufsize: int = -1, executable: str | bytes | PathLike[str] | PathLike[bytes] | None = None, stdin: int | IO[Unknown] | None = None, stderr: int | IO[Unknown] | None = None, preexec_fn: (() -> Unknown) | None = None, close_fds: bool = True, shell: bool = False, cwd: str | bytes | PathLike[str] | PathLike[bytes] | None = None, env: Mapping[str, str] | None = None, universal_newlines: bool | None = None, startupinfo: Unknown = None, creationflags: int = 0, restore_signals: bool = True, start_new_session: bool = False, pass_fds: Collection[int] = ..., *, timeout: float | None = None, input: Buffer | str | None = ..., encoding: str, errors: str | None = None, text: bool | None = None, user: str | int | None = None, group: str | int | None = None, extra_groups: Iterable[str | int] | None = None, umask: int = -1, pipesize: int = -1) -> str, (args: str | bytes | PathLike[str] | PathLike[bytes] | Sequence[str | bytes | PathLike[str] | PathLike[bytes]], bufsize: int = -1, executable: str | bytes | PathLike[str] | PathLike[bytes] | None = None, stdin: int | IO[Unknown] | None = None, stderr: int | IO[Unknown] | None = None, preexec_fn: (() -> Unknown) | None = None, close_fds: bool = True, shell: bool = False, cwd: str | bytes | PathLike[str] | PathLike[bytes] | None = None, env: Mapping[str, str] | None = None, universal_newlines: bool | None = None, startupinfo: Unknown = None, creationflags: int = 0, restore_signals: bool = True, start_new_session: bool = False, pass_fds: Collection[int] = ..., *, timeout: float | None = None, input: Buffer | str | None = ..., encoding: str | None = None, errors: str, text: bool | None = None, user: str | int | None = None, group: str | int | None = None, extra_groups: Iterable[str | int] | None = None, umask: int = -1, pipesize: int = -1) -> str, (args: str | bytes | PathLike[str] | PathLike[bytes] | Sequence[str | bytes | PathLike[str] | PathLike[bytes]], bufsize: int = -1, executable: str | bytes | PathLike[str] | PathLike[bytes] | None = None, stdin: int | IO[Unknown] | None = None, stderr: int | IO[Unknown] | None = None, preexec_fn: (() -> Unknown) | None = None, close_fds: bool = True, shell: bool = False, cwd: str | bytes | PathLike[str] | PathLike[bytes] | None = None, env: Mapping[str, str] | None = None, *, universal_newlines: Literal[True], startupinfo: Unknown = None, creationflags: int = 0, restore_signals: bool = True, start_new_session: bool = False, pass_fds: Collection[int] = ..., timeout: float | None = None, input: Buffer | str | None = ..., encoding: str | None = None, errors: str | None = None, text: bool | None = None, user: str | int | None = None, group: str | int | None = None, extra_groups: Iterable[str | int] | None = None, umask: int = -1, pipesize: int = -1) -> str, (args: str | bytes | PathLike[str] | PathLike[bytes] | Sequence[str | bytes | PathLike[str] | PathLike[bytes]], bufsize: int = -1, executable: str | bytes | PathLike[str] | PathLike[bytes] | None = None, stdin: int | IO[Unknown] | None = None, stderr: int | IO[Unknown] | None = None, preexec_fn: (() -> Unknown) | None = None, close_fds: bool = True, shell: bool = False, cwd: str | bytes | PathLike[str] | PathLike[bytes] | None = None, env: Mapping[str, str] | None = None, universal_newlines: Literal[False] | None = None, startupinfo: Unknown = None, creationflags: int = 0, restore_signals: bool = True, start_new_session: bool = False, pass_fds: Collection[int] = ..., *, timeout: float | None = None, input: Buffer | str | None = ..., encoding: None = None, errors: None = None, text: Literal[False] | None = None, user: str | int | None = None, group: str | int | None = None, extra_groups: Iterable[str | int] | None = None, umask: int = -1, pipesize: int = -1) -> bytes, (args: str | bytes | PathLike[str] | PathLike[bytes] | Sequence[str | bytes | PathLike[str] | PathLike[bytes]], bufsize: int = -1, executable: str | bytes | PathLike[str] | PathLike[bytes] | None = None, stdin: int | IO[Unknown] | None = None, stderr: int | IO[Unknown] | None = None, preexec_fn: (() -> Unknown) | None = None, close_fds: bool = True, shell: bool = False, cwd: str | bytes | PathLike[str] | PathLike[bytes] | None = None, env: Mapping[str, str] | None = None, universal_newlines: bool | None = None, startupinfo: Unknown = None, creationflags: int = 0, restore_signals: bool = True, start_new_session: bool = False, pass_fds: Collection[int] = ..., *, timeout: float | None = None, input: Buffer | str | None = ..., encoding: str | None = None, errors: str | None = None, text: bool | None = None, user: str | int | None = None, group: str | int | None = None, extra_groups: Iterable[str | int] | None = None, umask: int = -1, pipesize: int = -1) -> Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/steam.py/poetry_build.py:40:31 - error: Type of "check_output" is partially unknown
... (truncated 2582 lines) ...
mypy-protobuf (https://github.com/dropbox/mypy-protobuf)
+ /tmp/mypy_primer/projects/mypy-protobuf/mypy_protobuf/main.py:233:45 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy-protobuf/test/test_generated_mypy.py:192:20 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy-protobuf/test/test_generated_mypy.py:230:20 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy-protobuf/test/test_generated_mypy.py:271:20 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy-protobuf/test/test_generated_mypy.py:295:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy-protobuf/test/test_generated_mypy.py:316:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy-protobuf/test/test_generated_mypy.py:349:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 21 errors, 25 warnings, 0 notes
+ 28 errors, 25 warnings, 0 notes
operator (https://github.com/canonical/operator)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:34:5 - error: Type of "cast" is partially unknown
+ Type of "cast" is "Overload[(typ: type[_T@cast], val: Unknown) -> _T@cast, (typ: str, val: Unknown) -> Unknown, (typ: object, val: Unknown) -> Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:131:23 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:149:23 - error: Type of parameter "snapshot" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:149:43 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:157:23 - error: Type of "action_get" is partially unknown
+ Type of "action_get" is "() -> Dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:159:9 - error: Return type, "Dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:159:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:164:16 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:166:27 - error: Type of parameter "results" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:166:46 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:211:9 - error: Type of "action_set" is partially unknown
+ Type of "action_set" is "(results: Dict[str, Unknown]) -> None" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:465:9 - error: Return type, "Dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:465:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:470:9 - error: Type of "snapshot" is partially unknown
+ Type of "snapshot" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:470:29 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:478:16 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:480:23 - error: Type of parameter "snapshot" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:480:43 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:486:13 - error: Argument type is unknown
+ Argument corresponds to parameter "relation_name" in function "get_relation" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:486:40 - error: Argument type is unknown
+ Argument corresponds to parameter "relation_id" in function "get_relation" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:490:27 - error: Argument type is unknown
+ Argument corresponds to parameter "args" in function "format" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:490:54 - error: Argument type is unknown
+ Argument corresponds to parameter "args" in function "format" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:493:9 - error: Type of "app_name" is partially unknown
+ Type of "app_name" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:493:20 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:495:53 - error: Argument type is unknown
+ Argument corresponds to parameter "app_name" in function "get_app" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:500:9 - error: Type of "unit_name" is partially unknown
+ Type of "unit_name" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:500:21 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:502:55 - error: Argument type is unknown
+ Argument corresponds to parameter "unit_name" in function "get_unit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:583:9 - error: Return type, "Dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:583:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:588:9 - error: Type of "snapshot" is partially unknown
+ Type of "snapshot" is "Dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:588:20 - error: Type of "snapshot" is partially unknown
+ Type of "snapshot" is "() -> Dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:589:12 - error: Type of "_departing_unit_name" is partially unknown
+ Type of "_departing_unit_name" is "str | Unknown | None" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:590:42 - error: Type of "_departing_unit_name" is partially unknown
+ Type of "_departing_unit_name" is "str | Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:591:16 - error: Return type, "Dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:602:16 - error: Type of "_departing_unit_name" is partially unknown
+ Type of "_departing_unit_name" is "str | Unknown | None" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:604:46 - error: Type of "_departing_unit_name" is partially unknown
+ Type of "_departing_unit_name" is "str | Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:604:46 - error: Argument type is partially unknown
+ Argument corresponds to parameter "unit_name" in function "get_unit"
+ Argument type is "str | Unknown" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:606:23 - error: Type of parameter "snapshot" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:606:43 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:611:9 - error: Type of "restore" is partially unknown
... (truncated 1163 lines) ...```
Diff from mypy_primer, showing the effect of this PR on open source code:
rclip (https://github.com/yurijmikhalevich/rclip)
+ /tmp/mypy_primer/projects/rclip/rclip/db.py
+ /tmp/mypy_primer/projects/rclip/rclip/db.py:107:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 30 errors, 14 warnings, 0 notes
+ 31 errors, 14 warnings, 0 notes
alectryon (https://github.com/cpitclaudel/alectryon)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:38:29 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:398:10 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:407:27 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- Override type "Dict[str, Any]" is not the same as base type "dict[str, (str) -> Any] | None" (reportIncompatibleVariableOverride)
+ Override type "Dict[str, Unknown]" is not the same as base type "dict[str, (str) -> Unknown] | None" (reportIncompatibleVariableOverride)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:802:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:903:41 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:912:38 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:938:36 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1052:40 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1082:42 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- Override type "Dict[str, Any]" is not the same as base type "dict[str, (str) -> Any] | None" (reportIncompatibleVariableOverride)
+ Override type "Dict[str, Unknown]" is not the same as base type "dict[str, (str) -> Unknown] | None" (reportIncompatibleVariableOverride)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1120:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1317:59 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:71:24 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:79:26 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:238:24 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:238:32 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py:106:32 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py:163:68 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean4.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean4.py:52:79 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/minimal.py:41:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:65:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:70:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:213:81 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 33 errors, 37 warnings, 0 notes
+ 55 errors, 37 warnings, 0 notes
pyinstrument (https://github.com/joerick/pyinstrument)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:12:39 - error: Type of "cast" is partially unknown
+ Type of "cast" is "Overload[(typ: type[_T@cast], val: Unknown) -> _T@cast, (typ: str, val: Unknown) -> Unknown, (typ: object, val: Unknown) -> Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:21:5 - error: Type of "object_with_import_path" is partially unknown
+ Type of "object_with_import_path" is "(import_path: str) -> Unknown" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:306:22 - error: Type of "args" is partially unknown
+ Type of "args" is "tuple[Unknown, ...]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:306:22 - error: Argument type is unknown
+ Argument corresponds to parameter "msg" in function "error" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:330:13 - error: Type of "globs" is partially unknown
+ Type of "globs" is "dict[str, ((mod_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None, alter_sys: bool = False) -> dict[str, Unknown]) | str]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:330:36 - error: Type of "run_module" is partially unknown
+ Type of "run_module" is "(mod_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None, alter_sys: bool = False) -> dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:352:13 - error: Type of "globs" is partially unknown
+ Type of "globs" is "dict[str, ((path_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None) -> dict[str, Unknown]) | str]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:352:34 - error: Type of "run_path" is partially unknown
+ Type of "run_path" is "(path_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:389:5 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:391:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:418:5 - error: Type of "render_options" is partially unknown
+ Type of "render_options" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:418:31 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:429:9 - error: Type of "unicode" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:429:18 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:430:9 - error: Type of "color" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:430:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:432:9 - error: Type of "update" is partially unknown
+ Type of "update" is "Overload[(m: SupportsKeysAndGetItem[str, Unknown], /, **kwargs: Unknown) -> None, (m: Iterable[tuple[str, Unknown]], /, **kwargs: Unknown) -> None, (**kwargs: Unknown) -> None]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:446:17 - error: Type of "set_value_at_keypath" is partially unknown
+ Type of "set_value_at_keypath" is "(obj: Unknown, keypath: str, val: Unknown) -> Literal[True]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:451:21 - error: Type of "parsed_value" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:451:36 - error: Type of "loads" is partially unknown
+ Type of "loads" is "(s: str | bytes | bytearray, *, cls: type[JSONDecoder] | None = None, object_hook: ((dict[Unknown, Unknown]) -> Unknown) | None = None, parse_float: ((str) -> Unknown) | None = None, parse_int: ((str) -> Unknown) | None = None, parse_constant: ((str) -> Unknown) | None = None, object_pairs_hook: ((list[tuple[Unknown, Unknown]]) -> Unknown) | None = None, **kwds: Unknown) -> Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:456:17 - error: Type of "set_value_at_keypath" is partially unknown
+ Type of "set_value_at_keypath" is "(obj: Unknown, keypath: str, val: Unknown) -> Literal[True]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:458:12 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:468:5 - error: Type of "render_options" is partially unknown
+ Type of "render_options" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:507:20 - error: Return type is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:567:5 - error: Type of "sort" is partially unknown
+ Type of "sort" is "Overload[(*, key: None = None, reverse: bool = False) -> None, (*, key: (str) -> (SupportsDunderLT[Unknown] | SupportsDunderGT[Unknown]), reverse: bool = False) -> None]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:22:30 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:25:43 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:41:47 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:59:51 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:95:57 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:117:5 - error: Type of "hide_regex" is partially unknown
+ Type of "hide_regex" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:117:30 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:118:5 - error: Type of "show_regex" is partially unknown
+ Type of "show_regex" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:118:30 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:123:61 - error: Argument type is unknown
+ Argument corresponds to parameter "pattern" in function "match" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:124:61 - error: Argument type is unknown
+ Argument corresponds to parameter "pattern" in function "match" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:153:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:183:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:203:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:222:5 - error: Type of "filter_threshold" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:222:24 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:238:26 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/profiler.py
... (truncated 271 lines) ...
pyp (https://github.com/hauntsaninja/pyp)
- /tmp/mypy_primer/projects/pyp/pyp.py:12:20 - error: Type of "Any" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:60:13 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:63:6 - error: Argument of type "(self: Self@NameFinder) -> Set[str]" cannot be assigned to parameter "fget" of type "((Any) -> Any) | None" in function "__init__"
+ Type "(self: Self@NameFinder) -> Set[str]" is incompatible with type "((Any) -> Any) | None"
+ Type "(self: Self@NameFinder) -> Set[str]" is incompatible with type "(Any) -> Any"
+ Parameter 1: type "Any" is incompatible with type "Self@NameFinder"
+ Type "Any" is incompatible with type "Self@NameFinder"
+ Function return type "Set[str]" is incompatible with type "Any"
+ "Set[str]" is incompatible with "Any"
+ "function" is incompatible with "None" (reportArgumentType)
- /tmp/mypy_primer/projects/pyp/pyp.py:67:30 - error: Type of parameter "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:71:21 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:73:13 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:75:9 - error: Method "generic_visit" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:13 - error: Type of "_" is unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/pyp/pyp.py:81:16 - error: Type of "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:16 - error: Type of "value" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:25 - error: No overloads for "sorted" match the provided arguments (reportCallIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:59 - error: Argument of type "(f_v: Tuple[str, Any]) -> int" cannot be assigned to parameter "key" of type "(_T@sorted) -> SupportsRichComparison" in function "sorted"
+ Type "(f_v: Tuple[str, Any]) -> int" is incompatible with type "(tuple[str, Any]) -> SupportsRichComparison"
+ Function return type "int" is incompatible with type "SupportsRichComparison"
+ Type "int" is incompatible with type "SupportsRichComparison"
+ "int" is incompatible with protocol "SupportsDunderLT[Any]"
+ "__lt__" is an incompatible type
+ "int" is incompatible with protocol "SupportsDunderGT[Any]"
+ "__gt__" is an incompatible type (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:82:33 - error: Argument type is unknown
+ Argument corresponds to parameter "value" in function "flexible_visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:84:9 - error: Method "visit_Name" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:93:9 - error: Method "visit_Global" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:96:9 - error: Method "visit_Nonlocal" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:100:9 - error: Method "visit_AugAssign" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:107:9 - error: Method "visit_NamedExpr" overrides class "NodeVisitor" in an incompatible manner
+ Parameter 2 type mismatch: base parameter is type "NamedExpr", override parameter is type "Any"
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "NamedExpr" is incompatible with "Any"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
- /tmp/mypy_primer/projects/pyp/pyp.py:107:31 - error: Type of parameter "node" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:9 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
- /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Type of "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Type of "value" is unknown (reportUnknownMemberType)
- /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Argument type is Any
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Argument type is unknown
- Argument corresponds to parameter "node" in function "visit" (reportAny)
+ Argument corresponds to parameter "node" in function "visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:25 - error: Cannot access attribute "value" for class "Any"
+ Attribute "value" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:110:27 - error: Type of "target" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:110:27 - error: Type of "target" is unknown (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:110:32 - error: Cannot access attribute "target" for class "Any"
+ Attribute "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:111:32 - error: Cannot access attribute "target" for class "Any"
+ Attribute "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:117:44 - error: Cannot access attribute "target" for class "Any"
+ Attribute "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:119:9 - error: Method "visit_alias" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:125:9 - error: Method "visit_ImportFrom" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:130:9 - error: Method "visit_ClassDef" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:131:29 - error: Argument of type "list[expr]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[expr]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:132:29 - error: Argument of type "list[expr]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[expr]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:133:29 - error: Argument of type "list[keyword]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[keyword]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:136:29 - error: Argument of type "list[stmt]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[stmt]" is incompatible with "Any" (reportArgumentType)
- /tmp/mypy_primer/projects/pyp/pyp.py:141:37 - error: Type of parameter "node" is Any (reportAny)
- /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Type of "args" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Type of "args" is unknown (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Argument type is unknown
+ Argument corresponds to parameter "value" in function "flexible_visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:34 - error: Cannot access attribute "args" for class "Any"
+ Attribute "args" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Type of "args" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Type of "args" is unknown (reportUnknownMemberType)
- /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Argument type is Any
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Argument type is unknown
- Argument corresponds to parameter "node" in function "iter_child_nodes" (reportAny)
+ Argument corresponds to parameter "node" in function "iter_child_nodes" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:51 - error: Cannot access attribute "args" for class "Any"
+ Attribute "args" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:151:29 - error: Type of "body" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:151:29 - error: Type of "body" is unknown (reportUnknownMemberType)
... (truncated 198 lines) ...
operator (https://github.com/canonical/operator)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:34:5 - error: Type of "cast" is partially unknown
+ Type of "cast" is "Overload[(typ: type[_T@cast], val: Unknown) -> _T@cast, (typ: str, val: Unknown) -> Unknown, (typ: object, val: Unknown) -> Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:131:23 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:149:23 - error: Type of parameter "snapshot" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:149:43 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:157:23 - error: Type of "action_get" is partially unknown
+ Type of "action_get" is "() -> Dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:159:9 - error: Return type, "Dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:159:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:164:16 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:166:27 - error: Type of parameter "results" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:166:46 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:211:9 - error: Type of "action_set" is partially unknown
+ Type of "action_set" is "(results: Dict[str, Unknown]) -> None" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:466:9 - error: Return type, "Dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:466:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:471:9 - error: Type of "snapshot" is partially unknown
+ Type of "snapshot" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:471:29 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:479:16 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:481:23 - error: Type of parameter "snapshot" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:481:43 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:487:13 - error: Argument type is unknown
+ Argument corresponds to parameter "relation_name" in function "get_relation" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:487:40 - error: Argument type is unknown
+ Argument corresponds to parameter "relation_id" in function "get_relation" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:491:27 - error: Argument type is unknown
+ Argument corresponds to parameter "args" in function "format" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:491:54 - error: Argument type is unknown
+ Argument corresponds to parameter "args" in function "format" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:494:9 - error: Type of "app_name" is partially unknown
+ Type of "app_name" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:494:20 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:496:53 - error: Argument type is unknown
+ Argument corresponds to parameter "app_name" in function "get_app" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:501:9 - error: Type of "unit_name" is partially unknown
+ Type of "unit_name" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:501:21 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:503:55 - error: Argument type is unknown
+ Argument corresponds to parameter "unit_name" in function "get_unit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/operator/ops/charm.py:584:9 - error: Return type, "Dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
... (truncated 1533 lines) ...```
Diff from mypy_primer, showing the effect of this PR on open source code:
rclip (https://github.com/yurijmikhalevich/rclip)
+ /tmp/mypy_primer/projects/rclip/rclip/db.py
+ /tmp/mypy_primer/projects/rclip/rclip/db.py:107:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 30 errors, 14 warnings, 0 notes
+ 31 errors, 14 warnings, 0 notes
alectryon (https://github.com/cpitclaudel/alectryon)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:38:29 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:398:10 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/core.py:407:27 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- Override type "Dict[str, Any]" is not the same as base type "dict[str, (str) -> Any] | None" (reportIncompatibleVariableOverride)
+ Override type "Dict[str, Unknown]" is not the same as base type "dict[str, (str) -> Unknown] | None" (reportIncompatibleVariableOverride)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:802:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:903:41 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:912:38 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:938:36 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1052:40 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1082:42 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- Override type "Dict[str, Any]" is not the same as base type "dict[str, (str) -> Any] | None" (reportIncompatibleVariableOverride)
+ Override type "Dict[str, Unknown]" is not the same as base type "dict[str, (str) -> Unknown] | None" (reportIncompatibleVariableOverride)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1120:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/docutils.py:1317:59 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:71:24 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:79:26 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:238:24 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/json.py:238:32 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py:106:32 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean3.py:163:68 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean4.py
+ /tmp/mypy_primer/projects/alectryon/alectryon/lean4.py:52:79 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/minimal.py:41:28 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:65:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:70:33 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/alectryon/alectryon/serapi.py:213:81 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
- 33 errors, 37 warnings, 0 notes
+ 55 errors, 37 warnings, 0 notes
pyp (https://github.com/hauntsaninja/pyp)
- /tmp/mypy_primer/projects/pyp/pyp.py:12:20 - error: Type of "Any" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:60:13 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:63:6 - error: Argument of type "(self: Self@NameFinder) -> Set[str]" cannot be assigned to parameter "fget" of type "((Any) -> Any) | None" in function "__init__"
+ Type "(self: Self@NameFinder) -> Set[str]" is incompatible with type "((Any) -> Any) | None"
+ Type "(self: Self@NameFinder) -> Set[str]" is incompatible with type "(Any) -> Any"
+ Parameter 1: type "Any" is incompatible with type "Self@NameFinder"
+ Type "Any" is incompatible with type "Self@NameFinder"
+ Function return type "Set[str]" is incompatible with type "Any"
+ "Set[str]" is incompatible with "Any"
+ "function" is incompatible with "None" (reportArgumentType)
- /tmp/mypy_primer/projects/pyp/pyp.py:67:30 - error: Type of parameter "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:71:21 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:73:13 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+ /tmp/mypy_primer/projects/pyp/pyp.py:75:9 - error: Method "generic_visit" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:13 - error: Type of "_" is unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/pyp/pyp.py:81:16 - error: Type of "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:16 - error: Type of "value" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:25 - error: No overloads for "sorted" match the provided arguments (reportCallIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:81:59 - error: Argument of type "(f_v: Tuple[str, Any]) -> int" cannot be assigned to parameter "key" of type "(_T@sorted) -> SupportsRichComparison" in function "sorted"
+ Type "(f_v: Tuple[str, Any]) -> int" is incompatible with type "(tuple[str, Any]) -> SupportsRichComparison"
+ Function return type "int" is incompatible with type "SupportsRichComparison"
+ Type "int" is incompatible with type "SupportsRichComparison"
+ "int" is incompatible with protocol "SupportsDunderLT[Any]"
+ "__lt__" is an incompatible type
+ "int" is incompatible with protocol "SupportsDunderGT[Any]"
+ "__gt__" is an incompatible type (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:82:33 - error: Argument type is unknown
+ Argument corresponds to parameter "value" in function "flexible_visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:84:9 - error: Method "visit_Name" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:93:9 - error: Method "visit_Global" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:96:9 - error: Method "visit_Nonlocal" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:100:9 - error: Method "visit_AugAssign" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:107:9 - error: Method "visit_NamedExpr" overrides class "NodeVisitor" in an incompatible manner
+ Parameter 2 type mismatch: base parameter is type "NamedExpr", override parameter is type "Any"
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "NamedExpr" is incompatible with "Any"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
- /tmp/mypy_primer/projects/pyp/pyp.py:107:31 - error: Type of parameter "node" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:9 - error: Result of call expression is of type "Any" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
- /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Type of "value" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Type of "value" is unknown (reportUnknownMemberType)
- /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Argument type is Any
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:20 - error: Argument type is unknown
- Argument corresponds to parameter "node" in function "visit" (reportAny)
+ Argument corresponds to parameter "node" in function "visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:108:25 - error: Cannot access attribute "value" for class "Any"
+ Attribute "value" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:110:27 - error: Type of "target" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:110:27 - error: Type of "target" is unknown (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:110:32 - error: Cannot access attribute "target" for class "Any"
+ Attribute "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:111:32 - error: Cannot access attribute "target" for class "Any"
+ Attribute "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:117:44 - error: Cannot access attribute "target" for class "Any"
+ Attribute "target" is unknown (reportAttributeAccessIssue)
+ /tmp/mypy_primer/projects/pyp/pyp.py:119:9 - error: Method "visit_alias" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:125:9 - error: Method "visit_ImportFrom" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:130:9 - error: Method "visit_ClassDef" overrides class "NodeVisitor" in an incompatible manner
+ Return type mismatch: base method returns type "Any", override returns type "None"
+ "None" is incompatible with "Any" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/pyp/pyp.py:131:29 - error: Argument of type "list[expr]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[expr]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:132:29 - error: Argument of type "list[expr]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[expr]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:133:29 - error: Argument of type "list[keyword]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[keyword]" is incompatible with "Any" (reportArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:136:29 - error: Argument of type "list[stmt]" cannot be assigned to parameter "value" of type "Any" in function "flexible_visit"
+ "list[stmt]" is incompatible with "Any" (reportArgumentType)
- /tmp/mypy_primer/projects/pyp/pyp.py:141:37 - error: Type of parameter "node" is Any (reportAny)
- /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Type of "args" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Type of "args" is unknown (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:29 - error: Argument type is unknown
+ Argument corresponds to parameter "value" in function "flexible_visit" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:143:34 - error: Cannot access attribute "args" for class "Any"
+ Attribute "args" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Type of "args" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Type of "args" is unknown (reportUnknownMemberType)
- /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Argument type is Any
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:46 - error: Argument type is unknown
- Argument corresponds to parameter "node" in function "iter_child_nodes" (reportAny)
+ Argument corresponds to parameter "node" in function "iter_child_nodes" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyp/pyp.py:148:51 - error: Cannot access attribute "args" for class "Any"
+ Attribute "args" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/pyp/pyp.py:151:29 - error: Type of "body" is Any (reportAny)
+ /tmp/mypy_primer/projects/pyp/pyp.py:151:29 - error: Type of "body" is unknown (reportUnknownMemberType)
... (truncated 191 lines) ...
pyinstrument (https://github.com/joerick/pyinstrument)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:12:39 - error: Type of "cast" is partially unknown
+ Type of "cast" is "Overload[(typ: type[_T@cast], val: Unknown) -> _T@cast, (typ: str, val: Unknown) -> Unknown, (typ: object, val: Unknown) -> Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:21:5 - error: Type of "object_with_import_path" is partially unknown
+ Type of "object_with_import_path" is "(import_path: str) -> Unknown" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:298:9 - error: Type of "f" is partially unknown
+ Type of "f" is "TextIO | Unknown" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:298:13 - error: Type of "stdout" is partially unknown
+ Type of "stdout" is "TextIO | Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:304:73 - error: Argument type is partially unknown
+ Argument corresponds to parameter "output_file" in function "create_renderer"
+ Argument type is "TextIOWrapper | TextIO | Unknown" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:306:22 - error: Type of "args" is partially unknown
+ Type of "args" is "tuple[Unknown, ...]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:306:22 - error: Argument type is unknown
+ Argument corresponds to parameter "msg" in function "error" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:309:76 - error: Argument type is partially unknown
+ Argument corresponds to parameter "file_obj" in function "file_is_a_tty"
+ Argument type is "TextIOWrapper | TextIO | Unknown" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:330:13 - error: Type of "globs" is partially unknown
+ Type of "globs" is "dict[str, ((mod_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None, alter_sys: bool = False) -> dict[str, Unknown]) | str]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:330:36 - error: Type of "run_module" is partially unknown
+ Type of "run_module" is "(mod_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None, alter_sys: bool = False) -> dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:352:13 - error: Type of "globs" is partially unknown
+ Type of "globs" is "dict[str, ((path_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None) -> dict[str, Unknown]) | str]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:352:34 - error: Type of "run_path" is partially unknown
+ Type of "run_path" is "(path_name: str, init_globals: dict[str, Unknown] | None = None, run_name: str | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:373:95 - error: Argument type is partially unknown
+ Argument corresponds to parameter "file_obj" in function "file_is_a_tty"
+ Argument type is "TextIOWrapper | TextIO | Unknown" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:378:9 - error: Type of "write" is partially unknown
+ Type of "write" is "((s: str, /) -> int) | Overload[(s: str, /) -> int, (s: str, /) -> int] | Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:380:13 - error: Type of "close" is partially unknown
+ Type of "close" is "(() -> None) | Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:389:5 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:391:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:418:5 - error: Type of "render_options" is partially unknown
+ Type of "render_options" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:418:31 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:429:9 - error: Type of "unicode" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:429:18 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:430:9 - error: Type of "color" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:430:16 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:432:9 - error: Type of "update" is partially unknown
+ Type of "update" is "Overload[(m: SupportsKeysAndGetItem[str, Unknown], /, **kwargs: Unknown) -> None, (m: Iterable[tuple[str, Unknown]], /, **kwargs: Unknown) -> None, (**kwargs: Unknown) -> None]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:446:17 - error: Type of "set_value_at_keypath" is partially unknown
+ Type of "set_value_at_keypath" is "(obj: Unknown, keypath: str, val: Unknown) -> Literal[True]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:451:21 - error: Type of "parsed_value" is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:451:36 - error: Type of "loads" is partially unknown
+ Type of "loads" is "(s: str | bytes | bytearray, *, cls: type[JSONDecoder] | None = None, object_hook: ((dict[Unknown, Unknown]) -> Unknown) | None = None, parse_float: ((str) -> Unknown) | None = None, parse_int: ((str) -> Unknown) | None = None, parse_constant: ((str) -> Unknown) | None = None, object_pairs_hook: ((list[tuple[Unknown, Unknown]]) -> Unknown) | None = None, **kwds: Unknown) -> Unknown" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:456:17 - error: Type of "set_value_at_keypath" is partially unknown
+ Type of "set_value_at_keypath" is "(obj: Unknown, keypath: str, val: Unknown) -> Literal[True]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:458:12 - error: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:468:5 - error: Type of "render_options" is partially unknown
+ Type of "render_options" is "dict[str, Unknown]" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:507:20 - error: Return type is unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/__main__.py:567:5 - error: Type of "sort" is partially unknown
+ Type of "sort" is "Overload[(*, key: None = None, reverse: bool = False) -> None, (*, key: (str) -> (SupportsDunderLT[Unknown] | SupportsDunderGT[Unknown]), reverse: bool = False) -> None]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:22:30 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:25:43 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:41:47 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:59:51 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:95:57 - error: Type of parameter "options" is partially unknown
+ Parameter type is "Dict[str, Unknown]" (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:117:5 - error: Type of "hide_regex" is partially unknown
+ Type of "hide_regex" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:117:30 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:118:5 - error: Type of "show_regex" is partially unknown
+ Type of "show_regex" is "Unknown | None" (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:118:30 - error: Type of "get" is partially unknown
+ Type of "get" is "Overload[(key: str, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/processors.py:123:61 - error: Argument type is unknown
... (truncated 288 lines) ...
mkosi (https://github.com/systemd/mkosi)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:53:57 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:53:64 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:54:38 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:55:56 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:789:52 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:792:68 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:792:92 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:845:63 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:849:73 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:849:102 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1155:14 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1167:23 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1170:21 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1241:18 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1250:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1261:37 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1268:47 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1268:65 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1313:36 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1321:49 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1321:109 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1339:48 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1345:56 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1631:43 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1657:36 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1665:49 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1665:109 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1685:48 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:1691:56 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:3356:41 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:3380:62 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:3906:17 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:4091:26 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:4091:34 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:4108:86 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mkosi/mkosi/config.py:4108:92 - error: Expected type expression but received "_SpecialForm" (reportGeneralTypeIssues)
... (truncated 1549 lines) ...```
i don't think it's worth jumping down this rabbit hole. all this special cased shit is so messy and probably changes all the time. for now i'm gonna just leave it as-is and fix the semantic highlighting issue in #373
