TEST: Typevar constraints

[cdce8p]

No description provided.

[github-actions]

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

rich (https://github.com/willmcgugan/rich)
+ rich/theme.py:100: error: Incompatible types in assignment (expression has type overloaded function, variable has type overloaded function)
+ rich/theme.py:107: error: Incompatible types in assignment (expression has type overloaded function, variable has type overloaded function)
+ rich/repr.py:39: error: Overloaded function implementation cannot satisfy signature 2 due to inconsistencies in how they use type variables
+ rich/repr.py:116: error: Overloaded function implementation cannot satisfy signature 2 due to inconsistencies in how they use type variables

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/type/definition.py:1075: error: Unused "type: ignore" comment
+ src/graphql/utilities/print_schema.py:59: error: Argument 1 to <tuple> has incompatible type "*filter[Optional[str]]"; expected "str"
+ tests/utilities/test_value_from_ast.py:95: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_value_from_ast.py:96: error: Dict entry 1 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_value_from_ast.py:97: error: Dict entry 2 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_value_from_ast.py:98: error: Dict entry 3 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_value_from_ast.py:99: error: Dict entry 4 has incompatible type "str": "float"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_value_from_ast.py:100: error: Dict entry 5 has incompatible type "str": "UndefinedType"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_coerce_input_value.py:113: error: Dict entry 0 has incompatible type "str": "str"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_coerce_input_value.py:113: error: Dict entry 1 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_ast_from_value.py:176: error: Dict entry 0 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_ast_from_value.py:176: error: Dict entry 1 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/utilities/test_ast_from_value.py:176: error: Dict entry 2 has incompatible type "str": "Dict[str, str]"; expected "str": "GraphQLEnumValue"
+ tests/type/test_validation.py:999: error: Dict entry 0 has incompatible type "str": "Dict[<nothing>, <nothing>]"; expected "str": "GraphQLEnumValue"
+ tests/type/test_predicate.py:73: error: Dict entry 0 has incompatible type "str": "Dict[<nothing>, <nothing>]"; expected "str": "GraphQLEnumValue"
+ tests/type/test_extensions.py:196: error: Dict entry 0 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1041: error: Unused "type: ignore" comment
+ tests/type/test_definition.py:1062: error: Dict entry 0 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1062: error: Dict entry 1 has incompatible type "str": "float"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1062: error: Dict entry 2 has incompatible type "str": "UndefinedType"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1090: error: Dict entry 0 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1090: error: Dict entry 1 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1095: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1095: error: Dict entry 1 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1106: error: Dict entry 0 has incompatible type "str": "str"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1106: error: Dict entry 1 has incompatible type "str": "List[str]"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1106: error: Dict entry 2 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1140: error: Dict entry 0 has incompatible type "str": "str"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1140: error: Dict entry 1 has incompatible type "str": "str"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1147: error: Dict entry 0 has incompatible type "str": "str"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1147: error: Dict entry 1 has incompatible type "str": "List[str]"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1147: error: Dict entry 2 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1192: error: Unused "type: ignore" comment
+ tests/type/test_definition.py:1225: error: Dict entry 0 has incompatible type "str": "GraphQLField"; expected "str": "GraphQLEnumValue"
+ tests/type/test_definition.py:1282: error: Dict entry 0 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/execution/test_variables.py:72: error: Dict entry 0 has incompatible type "str": "None"; expected "str": "GraphQLEnumValue"
+ tests/execution/test_variables.py:73: error: Dict entry 1 has incompatible type "str": "UndefinedType"; expected "str": "GraphQLEnumValue"
+ tests/execution/test_variables.py:74: error: Dict entry 2 has incompatible type "str": "float"; expected "str": "GraphQLEnumValue"
+ tests/execution/test_variables.py:75: error: Dict entry 3 has incompatible type "str": "bool"; expected "str": "GraphQLEnumValue"
+ tests/execution/test_variables.py:76: error: Dict entry 4 has incompatible type "str": "str"; expected "str": "GraphQLEnumValue"
+ tests/type/test_enum.py:19: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/type/test_enum.py:19: error: Dict entry 1 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/type/test_enum.py:19: error: Dict entry 2 has incompatible type "str": "int"; expected "str": "GraphQLEnumValue"
+ tests/type/test_enum.py:40: error: Dict entry 0 has incompatible type "str": "Complex1"; expected "str": "GraphQLEnumValue"
+ tests/type/test_enum.py:40: error: Dict entry 1 has incompatible type "str": "Complex2"; expected "str": "GraphQLEnumValue"

mypy (https://github.com/python/mypy)
+ mypy/types.py:2154: error: List comprehension has incompatible type List[Optional[ProperType]]; expected List[ProperType]  [misc]

pandera (https://github.com/pandera-dev/pandera)
+ pandera/schema_statistics.py:161: error: Value of type "Union[Any, float]" is not indexable  [index]
+ pandera/schema_statistics.py:164: error: Value of type "Union[Any, float]" is not indexable  [index]

psycopg (https://github.com/psycopg/psycopg)
+ tests/types/test_range.py:130: error: Unused "type: ignore" comment
+ tests/types/test_range.py:180: error: Unused "type: ignore" comment

starlette (https://github.com/encode/starlette)
+ starlette/datastructures.py:112: error: Unsupported left operand type for + ("None")  [operator]
+ starlette/datastructures.py:112: note: Left operand is of type "Union[Any, str, None]"

ignite (https://github.com/pytorch/ignite)
+ ignite/contrib/handlers/tqdm_logger.py:214: error: Argument 1 to "_OutputHandler" has incompatible type "Optional[Any]"; expected "str"  [arg-type]

rotki (https://github.com/rotki/rotki)
+ rotkehlchen/accounting/ledger_actions.py:205: error: Argument 2 to "deserialize_optional" has incompatible type "Callable[[Union[float, bytes, Decimal, int, str, FVal]], Price]"; expected "Callable[[Optional[str]], Price]"
+ rotkehlchen/accounting/ledger_actions.py:206: error: Argument 2 to "deserialize_optional" has incompatible type "Type[Asset]"; expected "Callable[[Optional[str]], Asset]"
+ rotkehlchen/chain/bitcoin/xpub.py:199: error: List item 0 has incompatible type "XpubData"; expected "ManuallyTrackedBalance"
+ rotkehlchen/chain/bitcoin/xpub.py:242: error: List item 0 has incompatible type "XpubData"; expected "BlockchainAccountData"
+ rotkehlchen/chain/bitcoin/xpub.py:293: error: List item 0 has incompatible type "XpubData"; expected "BlockchainAccountData"
+ rotkehlchen/externalapis/beaconchain.py:47: error: Unused "type: ignore" comment
+ rotkehlchen/chain/ethereum/modules/eth2.py:123: error: Argument 1 to "list" has incompatible type "Set[Eth2PubKey]"; expected "Iterable[int]"
+ rotkehlchen/chain/ethereum/modules/eth2.py:160: error: List comprehension has incompatible type List[Eth2PubKey]; expected List[int]
+ rotkehlchen/db/dbhandler.py:3219: error: List item 0 has incompatible type "XpubData"; expected "ManuallyTrackedBalance"
+ rotkehlchen/db/dbhandler.py:3395: error: Value of type variable "AnyStr" of "walk" cannot be "Path"
+ rotkehlchen/db/dbhandler.py:3397: error: Argument 1 to "search" of "Pattern" has incompatible type "Path"; expected "str"
+ rotkehlchen/externalapis/etherscan.py:195: error: Unused "type: ignore" comment
+ rotkehlchen/externalapis/etherscan.py:208: error: Incompatible return value type (got "Optional[Any]", expected "Union[List[Dict[str, Any]], str, List[EthereumTransaction], Dict[str, Any]]")
+ rotkehlchen/tests/exchanges/test_ftx.py:40: error: Argument 1 to "asset_from_ftx" has incompatible type "Optional[Any]"; expected "str"
+ rotkehlchen/tests/exchanges/test_ftx.py:48: error: Argument 1 to "add" of "set" has incompatible type "Optional[Any]"; expected "str"
+ rotkehlchen/exchanges/kucoin.py:342: error: Unused "type: ignore" comment
+ rotkehlchen/exchanges/bitstamp.py:452: error: Unused "type: ignore" comment
+ rotkehlchen/exchanges/bitstamp.py:472: error: Unused "type: ignore" comment
+ rotkehlchen/exchanges/bitfinex.py:278: error: Unused "type: ignore" comment
+ rotkehlchen/exchanges/bitfinex.py:295: error: Unused "type: ignore" comment
+ rotkehlchen/exchanges/bitfinex.py:308: error: Unused "type: ignore" comment
+ rotkehlchen/exchanges/bitfinex.py:326: error: Unused "type: ignore" comment
+ rotkehlchen/exchanges/bitfinex.py:341: error: Unused "type: ignore" comment
+ rotkehlchen/exchanges/bitfinex.py:412: error: Unused "type: ignore" comment
+ rotkehlchen/api/rest.py:362: error: Value of type "Optional[Any]" is not indexable
+ rotkehlchen/api/rest.py:364: error: Value of type "Optional[Any]" is not indexable
+ rotkehlchen/api/rest.py:365: error: Item "None" of "Optional[Any]" has no attribute "get"

steam.py (https://github.com/Gobot1234/steam.py)
+ steam/state.py:327: error: Argument 2 to "_process_trades" of "ConnectionState" has incompatible type "Union[Any, Tuple[]]"; expected "List[DescriptionDict]"  [arg-type]
+ steam/state.py:328: error: Argument 2 to "_process_trades" of "ConnectionState" has incompatible type "Union[Any, Tuple[]]"; expected "List[DescriptionDict]"  [arg-type]
- steam/state.py:682: error: Incompatible types in assignment (expression has type "Dict[int, Union[GroupChannel, ClanChannel]]", variable has type "Union[Dict[int, GroupChannel], Dict[int, ClanChannel]]")  [assignment]
+ steam/state.py:682: error: Value expression in dictionary comprehension has incompatible type "Union[GroupChannel, ClanChannel]"; expected type "GroupChannel"  [misc]
- steam/state.py:717: error: Incompatible types in assignment (expression has type "Dict[int, Union[GroupChannel, ClanChannel]]", variable has type "Union[Dict[int, GroupChannel], Dict[int, ClanChannel]]")  [assignment]
+ steam/state.py:717: error: Value expression in dictionary comprehension has incompatible type "Union[GroupChannel, ClanChannel]"; expected type "GroupChannel"  [misc]
+ steam/state.py:1091: error: Argument 2 to "_process_trades" of "ConnectionState" has incompatible type "Union[Any, Tuple[]]"; expected "List[DescriptionDict]"  [arg-type]
+ steam/state.py:1092: error: Argument 2 to "_process_trades" of "ConnectionState" has incompatible type "Union[Any, Tuple[]]"; expected "List[DescriptionDict]"  [arg-type]
- steam/client.py:230: error: Overloaded function implementation does not accept all possible arguments of signature 2  [misc]
- steam/client.py:230: error: Overloaded function implementation cannot produce return type of signature 2  [misc]
- steam/ext/commands/converters.py:221: error: Overloaded function implementation does not accept all possible arguments of signature 2  [misc]
- steam/ext/commands/converters.py:221: error: Overloaded function implementation cannot produce return type of signature 2  [misc]
- steam/ext/commands/commands.py:744: error: Overloaded function implementation cannot produce return type of signature 1  [misc]
+ steam/ext/commands/commands.py:744: error: Overloaded function implementation cannot satisfy signature 1 due to inconsistencies in how they use type variables  [misc]
- steam/ext/commands/commands.py:813: error: Overloaded function implementation cannot produce return type of signature 1  [misc]
+ steam/ext/commands/commands.py:813: error: Overloaded function implementation cannot satisfy signature 1 due to inconsistencies in how they use type variables  [misc]
- steam/ext/commands/commands.py:919: error: Overloaded function implementation cannot produce return type of signature 1  [misc]
+ steam/ext/commands/commands.py:919: error: Overloaded function implementation cannot satisfy signature 1 due to inconsistencies in how they use type variables  [misc]
- steam/ext/commands/commands.py:986: error: Overloaded function implementation cannot produce return type of signature 1  [misc]
+ steam/ext/commands/commands.py:986: error: Overloaded function implementation cannot satisfy signature 1 due to inconsistencies in how they use type variables  [misc]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/ext/autodoc/__init__.py:656: error: Unused "type: ignore" comment
+ sphinx/ext/autodoc/__init__.py: note: In member "get_object_members" of class "Documenter":
+ sphinx/ext/autodoc/__init__.py:667:28: error: List comprehension has incompatible type List[Tuple[str, Any]]; expected List[ObjectMember]
+ sphinx/ext/autodoc/__init__.py:669:28: error: List comprehension has incompatible type List[Tuple[str, Any]]; expected List[ObjectMember]
+ sphinx/ext/autodoc/__init__.py: note: At top level:
+ sphinx/ext/autodoc/__init__.py:1692: error: Unused "type: ignore" comment
+ sphinx/testing/fixtures.py: note: In function "app_params":
+ sphinx/testing/fixtures.py:103:33: error: Unsupported left operand type for / ("str")
+ sphinx/testing/fixtures.py:103:33: note: Right operand is of type "Union[Any, str]"
+ sphinx/testing/fixtures.py:107:25: error: Unsupported left operand type for / ("str")

prefect (https://github.com/PrefectHQ/prefect)
+ src/prefect/agent/fargate/agent.py:397: error: Argument 1 to "literal_eval" has incompatible type "Union[Any, List[Any]]"; expected "Union[str, AST]"

pyppeteer (https://github.com/pyppeteer/pyppeteer)
+ pyppeteer/connection.py:121: error: Argument 1 to "get" of "Mapping" has incompatible type "Optional[Any]"; expected "str"
+ pyppeteer/connection.py:123: error: Argument 1 to "_on_message" of "CDPSession" has incompatible type "Optional[Any]"; expected "str"
+ pyppeteer/connection.py:125: error: Argument 1 to "get" of "Mapping" has incompatible type "Optional[Any]"; expected "str"
+ pyppeteer/connection.py:128: error: Argument 1 to "__delitem__" of "dict" has incompatible type "Optional[Any]"; expected "str"
+ pyppeteer/helper.py:46: error: Item "None" of "Optional[Any]" has no attribute "__iter__" (not iterable)
+ pyppeteer/network_manager.py:213: error: Argument 3 to "_handleRequestStart" of "NetworkManager" has incompatible type "Optional[Any]"; expected "str"
+ pyppeteer/network_manager.py:269: error: Argument 5 to "Response" has incompatible type "Optional[Any]"; expected "bool"
+ pyppeteer/network_manager.py:270: error: Argument 6 to "Response" has incompatible type "Optional[Any]"; expected "bool"
+ pyppeteer/network_manager.py:498: error: Argument 1 to "get" of "Mapping" has incompatible type "Union[Any, int]"; expected "str"
+ pyppeteer/network_manager.py:707: error: Need type annotation for "_hash"
+ pyppeteer/network_manager.py:727: error: Unsupported target for indexed assignment ("Union[Dict[Any, Any], Any, str, None]")
+ pyppeteer/launcher.py:101: error: Unsupported right operand type for in ("Union[Any, bool]")
+ pyppeteer/element_handle.py:287: error: Argument 1 to "_fromProtocolQuad" of "ElementHandle" has incompatible type "Optional[Any]"; expected "List[int]"
+ pyppeteer/element_handle.py:288: error: Argument 1 to "_fromProtocolQuad" of "ElementHandle" has incompatible type "Optional[Any]"; expected "List[int]"
+ pyppeteer/element_handle.py:289: error: Argument 1 to "_fromProtocolQuad" of "ElementHandle" has incompatible type "Optional[Any]"; expected "List[int]"
+ pyppeteer/element_handle.py:290: error: Argument 1 to "_fromProtocolQuad" of "ElementHandle" has incompatible type "Optional[Any]"; expected "List[int]"

bandersnatch (https://github.com/pypa/bandersnatch)
+ src/bandersnatch/utils.py: note: In function "find":
+ src/bandersnatch/utils.py:72: error: Value of type variable "AnyStr" of "walk" cannot be "Path"
+ src/bandersnatch/tests/plugins/test_storage_plugins.py: note: In member "clean_path" of class "MockConnection":
+ src/bandersnatch/tests/plugins/test_storage_plugins.py:142: error: Item "None" of "Optional[Any]" has no attribute "name"
+ src/bandersnatch/tests/plugins/test_storage_plugins.py: note: In member "_strip_prefix" of class "MockConnection":
+ src/bandersnatch/tests/plugins/test_storage_plugins.py:154: error: Item "None" of "Optional[Any]" has no attribute "name"

scrapy (https://github.com/scrapy/scrapy)
+ scrapy/http/request/json_request.py:33: error: Argument 1 to "_dumps" of "JsonRequest" has incompatible type "Optional[Any]"; expected "Dict[Any, Any]"
+ scrapy/http/request/json_request.py:53: error: Argument 1 to "_dumps" of "JsonRequest" has incompatible type "Optional[Any]"; expected "Dict[Any, Any]"
+ scrapy/core/http2/stream.py:170: error: Incompatible return value type (got "Union[Any, int]", expected "bool")

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/codegen.py: note: In function "codegen":
+ schema_salad/codegen.py:67:13: error: Argument 1 to "JavaCodeGen" has incompatible type "Optional[Any]"; expected "str"  [arg-type]
+ schema_salad/codegen.py:74:33: error: Argument 1 to "TypeScriptCodeGen" has incompatible type "Optional[Any]"; expected "str"  [arg-type]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/argparser.py: note: In member "__call__" of class "FSAction":
+ cwltool/argparser.py:716:5: error: Signature of "__call__" incompatible with supertype "Action"  [override]
+ cwltool/argparser.py:716:5: note:      Superclass:
+ cwltool/argparser.py:716:5: note:          def __call__(self, parser: ArgumentParser, namespace: Namespace, values: Union[str, Sequence[Any], None], option_string: Optional[str] = ...) -> None
+ cwltool/argparser.py:716:5: note:      Subclass:
+ cwltool/argparser.py:716:5: note:          def [AnyStr in (str, bytes)] __call__(self, parser: ArgumentParser, namespace: Namespace, values: Union[AnyStr, Sequence[Any], None], option_string: Optional[str] = ...) -> None
+ cwltool/argparser.py: note: In member "__call__" of class "FSAppendAction":
+ cwltool/argparser.py:744:5: error: Signature of "__call__" incompatible with supertype "Action"  [override]
+ cwltool/argparser.py:744:5: note:      Superclass:
+ cwltool/argparser.py:744:5: note:          def __call__(self, parser: ArgumentParser, namespace: Namespace, values: Union[str, Sequence[Any], None], option_string: Optional[str] = ...) -> None
+ cwltool/argparser.py:744:5: note:      Subclass:
+ cwltool/argparser.py:744:5: note:          def [AnyStr in (str, bytes)] __call__(self, parser: ArgumentParser, namespace: Namespace, values: Union[AnyStr, Sequence[Any], None], option_string: Optional[str] = ...) -> None

schemathesis (https://github.com/schemathesis/schemathesis)
+ src/schemathesis/specs/openapi/serialization.py: note: In function "_serialize_openapi3":
+ src/schemathesis/specs/openapi/serialization.py:42: error: Argument 2 to "_serialize_path_openapi3" has incompatible type "Optional[Any]"; expected "str"
+ src/schemathesis/specs/openapi/serialization.py:44: error: Argument 2 to "_serialize_query_openapi3" has incompatible type "Optional[Any]"; expected "str"
+ src/schemathesis/specs/openapi/serialization.py:46: error: Argument 2 to "_serialize_header_openapi3" has incompatible type "Optional[Any]"; expected "str"
+ src/schemathesis/specs/openapi/serialization.py:48: error: Argument 2 to "_serialize_cookie_openapi3" has incompatible type "Optional[Any]"; expected "str"

spark (https://github.com/apache/spark)
+ python/pyspark/sql/dataframe.py:1470: error: List item 0 has incompatible type "Union[str, Column]"; expected "str"  [list-item]
+ python/pyspark/sql/dataframe.py:1582: error: List item 0 has incompatible type "Union[str, Column]"; expected "str"  [list-item]
+ python/pyspark/pandas/namespace.py:309: error: Argument 1 to "list" has incompatible type "Union[List[int], List[str]]"; expected "Iterable[int]"  [arg-type]

edgedb (https://github.com/edgedb/edgedb)
+ edb/common/ordered.pyi:48:5: error: Signature of "__ior__" incompatible with supertype "MutableSet"
+ edb/common/ordered.pyi:48:5: note:      Superclass:
+ edb/common/ordered.pyi:48:5: note:          def [_S] __ior__(self, AbstractSet[_S]) -> MutableSet[Union[_H, _S]]
+ edb/common/ordered.pyi:48:5: note:      Subclass:
+ edb/common/ordered.pyi:48:5: note:          def [_S, _T] __ior__(self, AbstractSet[_S]) -> OrderedSet[Union[_T, _S]]
+ edb/common/ordered.pyi:50:5: error: Signature of "__ixor__" incompatible with supertype "MutableSet"
+ edb/common/ordered.pyi:50:5: note:      Superclass:
+ edb/common/ordered.pyi:50:5: note:          def [_S] __ixor__(self, AbstractSet[_S]) -> MutableSet[Union[_H, _S]]
+ edb/common/ordered.pyi:50:5: note:      Subclass:
+ edb/common/ordered.pyi:50:5: note:          def [_S, _T] __ixor__(self, AbstractSet[_S]) -> OrderedSet[Union[_T, _S]]
+ edb/tools/profiling/profiler.py:154:20: error: Value of type variable "AnyStr" of "NamedTemporaryFile" cannot be "object"
+ edb/buildmeta.py:188:14: error: Value of type variable "AnyStr" of "NamedTemporaryFile" cannot be "Path"
+ edb/schema/objects.py:3089:27: error: Argument 1 to "discard" of "Command" has incompatible type "Optional[AlterObjectProperty]"; expected "Command"
+ edb/schema/objects.py:3090:27: error: Argument 1 to "discard" of "Command" has incompatible type "Optional[AlterObjectProperty]"; expected "Command"
+ edb/schema/pointers.py:2783:17: error: Argument 2 to "get_intersection_type" has incompatible type "List[Optional[Type]]"; expected "Iterable[Type]"
+ edb/edgeql/compiler/inference/types.py:310:43: error: Argument "element_types" to "create" of "Tuple" has incompatible type "Dict[Optional[str], Type]"; expected "Mapping[str, Type]"
+ edb/edgeql/compiler/inference/multiplicity.py:588:49: error: Argument 1 to "get_set_scope" has incompatible type "Optional[edb.ir.ast.Set]"; expected "edb.ir.ast.Set"
+ edb/edgeql/compiler/inference/multiplicity.py:589:32: error: Argument 1 to "infer_multiplicity" has incompatible type "Optional[edb.ir.ast.Set]"; expected "Base"
+ edb/edgeql/compiler/viewgen.py:344:24: error: Argument "ptrref" to "Pointer" has incompatible type "Optional[BasePointerRef]"; expected "BasePointerRef"
+ edb/edgeql/compiler/viewgen.py:399:24: error: Argument "ptrref" to "Pointer" has incompatible type "Optional[BasePointerRef]"; expected "BasePointerRef"
+ edb/edgeql/compiler/viewgen.py:582:18: error: Item "None" of "Optional[Type]" has no attribute "is_object_type"
+ edb/edgeql/compiler/setgen.py:791:16: error: Argument "ptrref" to "Pointer" has incompatible type "Optional[BasePointerRef]"; expected "BasePointerRef"
+ edb/edgeql/compiler/setgen.py:951:19: error: Argument "direction" to "TupleIndirectionPointer" has incompatible type "Optional[PointerDirection]"; expected "PointerDirection"
+ edb/edgeql/compiler/setgen.py:1037:19: error: Argument "direction" to "TypeIntersectionPointer" has incompatible type "Optional[PointerDirection]"; expected "PointerDirection"
+ edb/tools/toy_eval_model.py:1627:14: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "Optional[str]"
+ edb/tools/toy_eval_model.py:1628:14: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "Optional[str]"
+ edb/tools/toy_eval_model.py:1629:14: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "Optional[str]"
+ edb/tools/toy_eval_model.py:1630:14: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "Optional[str]"
+ edb/tools/toy_eval_model.py:1631:14: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "Optional[str]"
+ edb/tools/toy_eval_model.py:1632:14: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "Optional[str]"
+ edb/tools/toy_eval_model.py:1633:14: error: Dict entry 0 has incompatible type "str": "int"; expected "str": "Optional[str]"
+ edb/server/cluster.py:431:13: error: Value of type variable "AnyStr" of "mkdtemp" cannot be "Optional[str]"
+ edb/server/cluster.py:431:13: error: Argument 1 to "Path" has incompatible type "Optional[str]"; expected "Union[str, PathLike[str]]"
+ edb/server/cluster.py:512:13: error: Value of type variable "AnyStr" of "mkdtemp" cannot be "Optional[str]"
+ edb/server/cluster.py:512:13: error: Argument 1 to "Path" has incompatible type "Optional[str]"; expected "Union[str, PathLike[str]]"

zulip (https://github.com/zulip/zulip)
+ tools/lib/provision.py:471: error: List item 0 has incompatible type "str"; expected "bytes"  [list-item]
+ tools/lib/provision.py:472: error: List item 1 has incompatible type "List[str]"; expected "bytes"  [list-item]
+ tools/lib/provision.py:473: error: List item 2 has incompatible type "List[str]"; expected "bytes"  [list-item]
+ tools/lib/provision.py:474: error: List item 3 has incompatible type "List[str]"; expected "bytes"  [list-item]
+ zerver/openapi/markdown_extension.py:265: error: Incompatible return value type (got "Union[str, bool, Any, None]", expected "str")  [return-value]
+ zerver/lib/markdown/__init__.py:594: error: Item "None" of "Optional[Element]" has no attribute "get"  [union-attr]
+ zerver/lib/markdown/__init__.py:599: error: Item "None" of "Optional[Element]" has no attribute "set"  [union-attr]
+ zerver/lib/markdown/__init__.py:1232: error: Value of type "Optional[Tuple[str, Optional[str]]]" is not indexable  [index]
+ zerver/lib/markdown/__init__.py:1236: error: Value of type "Optional[Tuple[str, Optional[str]]]" is not indexable  [index]
+ zerver/lib/markdown/__init__.py:1272: error: "None" object is not iterable  [misc]
+ zerver/lib/markdown/__init__.py:1281: error: Argument 2 to "handle_image_inlining" of "InlineInterestingLinkProcessor" has incompatible type "ResultWithFamily[Optional[Tuple[str, Optional[str]]]]"; expected "ResultWithFamily[Tuple[str, Optional[str]]]"  [arg-type]
+ zerver/lib/markdown/__init__.py:1310: error: Argument 2 to "handle_image_inlining" of "InlineInterestingLinkProcessor" has incompatible type "ResultWithFamily[Optional[Tuple[str, Optional[str]]]]"; expected "ResultWithFamily[Tuple[str, Optional[str]]]"  [arg-type]
+ zerver/lib/markdown/__init__.py:1322: error: Argument 2 to "handle_tweet_inlining" of "InlineInterestingLinkProcessor" has incompatible type "ResultWithFamily[Optional[Tuple[str, Optional[str]]]]"; expected "ResultWithFamily[Tuple[str, Optional[str]]]"  [arg-type]
+ zerver/lib/markdown/__init__.py:1326: error: Argument 2 to "handle_youtube_url_inlining" of "InlineInterestingLinkProcessor" has incompatible type "ResultWithFamily[Optional[Tuple[str, Optional[str]]]]"; expected "ResultWithFamily[Tuple[str, Optional[str]]]"  [arg-type]
+ zerver/lib/markdown/nested_code_blocks.py:26: error: Argument 1 to "get_nested_code_blocks" of "NestedCodeBlocksRendererTreeProcessor" has incompatible type "List[ResultWithFamily[Optional[Tuple[str, Optional[str]]]]]"; expected "List[ResultWithFamily[Tuple[str, Optional[str]]]]"  [arg-type]
+ zerver/lib/actions.py:6312: error: Argument 1 to "map" has incompatible type "Callable[[UserMessage], Dict[str, Any]]"; expected "Callable[[Any], int]"  [arg-type]
+ zerver/views/message_send.py:221: error: List item 0 has incompatible type "str"; expected "int"  [list-item]
+ zerver/views/streams.py:394: error: Argument 1 to "check_list" has incompatible type "Callable[[str, object], int]"; expected "Callable[[str, object], str]"  [arg-type]
+ zerver/webhooks/gitlab/view.py:489: error: Item "None" of "Optional[Any]" has no attribute "split"  [union-attr]
+ zerver/tests/test_retention.py:1090: error: List item 0 has incompatible type "Dict[str, int]"; expected "int"  [list-item]
+ zerver/tests/test_retention.py:1090: error: List item 1 has incompatible type "Dict[str, int]"; expected "int"  [list-item]
+ zerver/tests/test_message_send.py:2170: error: Argument 1 to "sorted" has incompatible type "Union[List[str], List[int]]"; expected "Iterable[str]"  [arg-type]
+ zerver/tests/test_message_send.py:2175: error: Argument 1 to "sorted" has incompatible type "Union[List[str], List[int]]"; expected "Iterable[str]"  [arg-type]
+ zerver/tests/test_event_system.py:270: error: List item 0 has incompatible type "str"; expected "int"  [list-item]
+ zerver/tests/test_event_system.py:303: error: List item 0 has incompatible type "str"; expected "int"  [list-item]

vision (https://github.com/pytorch/vision)
+ torchvision/io/_video_opt.py:531: error: List comprehension has incompatible type List[Fraction]; expected List[int]  [misc]
+ torchvision/prototype/datasets/utils/_quer```