Skip to content

[ty] Avoid expression reinference for diagnostics #21267

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[ty] Avoid expression reinference for diagnostics #21267

wants to merge 1 commit into from

Conversation

@ibraheemdev
Copy link
Member

@ibraheemdev ibraheemdev commented Nov 3, 2025

Summary

We now use the type context for a lot of things, so re-inferring without type context actually makes diagnostics more confusing (in most cases).

@ibraheemdev ibraheemdev requested a review from carljm as a code owner November 3, 2025 21:40
@ibraheemdev ibraheemdev added the ty Multi-file analysis & type inference label Nov 3, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Nov 3, 2025

Diagnostic diff on typing conformance tests

No changes detected when running ty on typing conformance tests ✅

@github-actions
Copy link
Contributor

github-actions bot commented Nov 3, 2025

mypy_primer results

Changes were detected when running on open source projects 
paasta (https://github.com/yelp/paasta)
- paasta_tools/utils.py:595:9: error[invalid-assignment] Object of type `list[Unknown | dict[Unknown | str, Unknown | str]]` is not assignable to `list[DockerParameter]`
+ paasta_tools/utils.py:595:9: error[invalid-assignment] Object of type `list[DockerParameter | dict[Unknown | str, Unknown | str]]` is not assignable to `list[DockerParameter]`

graphql-core (https://github.com/graphql-python/graphql-core)
- tests/type/test_definition.py:163:72: error[invalid-argument-type] Argument to function `parse_literal` is incorrect: Expected `ValueNode`, found `dict[Unknown | str, Unknown | str]`
+ tests/type/test_definition.py:163:72: error[invalid-argument-type] Argument to function `parse_literal` is incorrect: Expected `ValueNode`, found `dict[Unknown | str, Unknown | str] & dict[str, Any]`

scrapy (https://github.com/scrapy/scrapy)
- tests/test_pipeline_files.py:368:5: error[invalid-assignment] Object of type `<class 'list'>` is not assignable to `list[str]`
+ tests/test_pipeline_files.py:368:5: error[invalid-assignment] Object of type `dataclasses.Field[<class 'list'> | list[str]]` is not assignable to `list[str]`
- tests/test_pipeline_files.py:369:5: error[invalid-assignment] Object of type `<class 'list'>` is not assignable to `list[dict[str, str]]`
+ tests/test_pipeline_files.py:369:5: error[invalid-assignment] Object of type `dataclasses.Field[<class 'list'> | list[dict[str, str]]]` is not assignable to `list[dict[str, str]]`
- tests/test_pipeline_files.py:371:5: error[invalid-assignment] Object of type `<class 'list'>` is not assignable to `list[str]`
+ tests/test_pipeline_files.py:371:5: error[invalid-assignment] Object of type `dataclasses.Field[<class 'list'> | list[str]]` is not assignable to `list[str]`
- tests/test_pipeline_files.py:372:5: error[invalid-assignment] Object of type `<class 'list'>` is not assignable to `list[dict[str, str]]`
+ tests/test_pipeline_files.py:372:5: error[invalid-assignment] Object of type `dataclasses.Field[<class 'list'> | list[dict[str, str]]]` is not assignable to `list[dict[str, str]]`
- tests/test_pipeline_images.py:332:5: error[invalid-assignment] Object of type `<class 'list'>` is not assignable to `list[str]`
+ tests/test_pipeline_images.py:332:5: error[invalid-assignment] Object of type `dataclasses.Field[<class 'list'> | list[str]]` is not assignable to `list[str]`
- tests/test_pipeline_images.py:333:5: error[invalid-assignment] Object of type `<class 'list'>` is not assignable to `list[dict[str, str]]`
+ tests/test_pipeline_images.py:333:5: error[invalid-assignment] Object of type `dataclasses.Field[<class 'list'> | list[dict[str, str]]]` is not assignable to `list[dict[str, str]]`
- tests/test_pipeline_images.py:335:5: error[invalid-assignment] Object of type `<class 'list'>` is not assignable to `list[str]`
+ tests/test_pipeline_images.py:335:5: error[invalid-assignment] Object of type `dataclasses.Field[<class 'list'> | list[str]]` is not assignable to `list[str]`
- tests/test_pipeline_images.py:336:5: error[invalid-assignment] Object of type `<class 'list'>` is not assignable to `list[dict[str, str]]`
+ tests/test_pipeline_images.py:336:5: error[invalid-assignment] Object of type `dataclasses.Field[<class 'list'> | list[dict[str, str]]]` is not assignable to `list[dict[str, str]]`

alerta (https://github.com/alerta/alerta)
- alerta/auth/basic.py:31:48: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[Unknown | str | None]`
+ alerta/auth/basic.py:31:48: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[str | None]`
- alerta/auth/basic.py:85:48: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[Unknown | str | None]`
+ alerta/auth/basic.py:85:48: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[str | None]`
- alerta/auth/decorators.py:142:60: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[Unknown | str | None]`
+ alerta/auth/decorators.py:142:60: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[str | None]`
- alerta/auth/decorators.py:147:57: error[invalid-argument-type] Argument to function `get_customers` is incorrect: Expected `list[str]`, found `list[Unknown | str | None]`
+ alerta/auth/decorators.py:147:57: error[invalid-argument-type] Argument to function `get_customers` is incorrect: Expected `list[str]`, found `list[str | None]`
- alerta/auth/github.py:85:115: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[Unknown | str | None]`
+ alerta/auth/github.py:85:115: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[str | None]`
- alerta/auth/oidc.py:192:95: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[Unknown | str | None]`
+ alerta/auth/oidc.py:192:95: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[str | None]`
- alerta/auth/saml.py:100:98: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[Unknown | str | None]`
+ alerta/auth/saml.py:100:98: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[str | None]`
- alerta/views/users.py:33:48: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[Unknown | str | None]`
+ alerta/views/users.py:33:48: error[invalid-argument-type] Argument to function `not_authorized` is incorrect: Expected `list[str]`, found `list[str | None]`
- tests/test_scopes.py:81:71: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:81:71: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:82:71: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:82:71: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:83:71: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:83:71: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:85:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:85:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:86:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:86:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:87:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:87:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:89:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:89:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:90:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:90:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:92:59: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:92:59: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:93:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:93:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:94:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:94:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:95:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:95:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:96:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:96:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:97:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:97:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:99:62: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:99:62: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:100:62: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:100:62: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`
- tests/test_scopes.py:101:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[Unknown | str]`
+ tests/test_scopes.py:101:72: error[invalid-argument-type] Argument to bound method `is_in_scope` is incorrect: Expected `list[Scope]`, found `list[str | Unknown]`

ignite (https://github.com/pytorch/ignite)
- tests/ignite/handlers/test_base_logger.py:265:5: error[invalid-assignment] Object of type `list[CallableEventWithFilter | Literal["unknown"]]` is not assignable to attribute `_events` of type `list[CallableEventWithFilter]`
+ tests/ignite/handlers/test_base_logger.py:265:5: error[invalid-assignment] Object of type `list[CallableEventWithFilter | str]` is not assignable to attribute `_events` of type `list[CallableEventWithFilter]`
- tests/ignite/handlers/test_param_scheduler.py:349:25: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ParamScheduler]`, found `list[Unknown | LinearCyclicalScheduler | int]`
+ tests/ignite/handlers/test_param_scheduler.py:349:25: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ParamScheduler]`, found `list[ParamScheduler | int]`
- tests/ignite/handlers/test_param_scheduler.py:355:77: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[int]`, found `list[Unknown | int | float]`
+ tests/ignite/handlers/test_param_scheduler.py:355:77: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[int]`, found `list[int | float]`
- tests/ignite/handlers/test_param_scheduler.py:367:84: error[invalid-argument-type] Argument to bound method `simulate_values` is incorrect: Expected `list[str] | tuple[str] | None`, found `list[Unknown | int]`
+ tests/ignite/handlers/test_param_scheduler.py:367:84: error[invalid-argument-type] Argument to bound method `simulate_values` is incorrect: Expected `list[str] | tuple[str] | None`, found `list[str | int]`
- tests/ignite/handlers/test_param_scheduler.py:768:42: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[Unknown | tuple[float]]`
+ tests/ignite/handlers/test_param_scheduler.py:768:42: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[tuple[int, int | float] | tuple[float]]`
- tests/ignite/handlers/test_param_scheduler.py:771:42: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[Unknown | tuple[int, float] | tuple[float]]`
+ tests/ignite/handlers/test_param_scheduler.py:771:42: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[tuple[int, int | float] | tuple[float]]`
- tests/ignite/handlers/test_param_scheduler.py:777:42: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[Unknown | tuple[float, int]]`
+ tests/ignite/handlers/test_param_scheduler.py:777:42: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[tuple[int, int | float] | tuple[float, int]]`
- tests/ignite/handlers/test_param_scheduler.py:1171:29: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ParamScheduler]`, found `list[Unknown | int]`
+ tests/ignite/handlers/test_param_scheduler.py:1171:29: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ParamScheduler]`, found `list[ParamScheduler | int]`
- tests/ignite/handlers/test_param_scheduler.py:1174:29: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ParamScheduler]`, found `list[Unknown | LinearCyclicalScheduler | str]`
+ tests/ignite/handlers/test_param_scheduler.py:1174:29: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ParamScheduler]`, found `list[ParamScheduler | str]`
- tests/ignite/handlers/test_param_scheduler.py:1180:72: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str] | None`, found `list[Unknown | int]`
+ tests/ignite/handlers/test_param_scheduler.py:1180:72: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str] | None`, found `list[str | int]`
- tests/ignite/handlers/test_state_param_scheduler.py:151:76: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[Unknown | tuple[float]]`
+ tests/ignite/handlers/test_state_param_scheduler.py:151:76: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[tuple[int, int | float] | tuple[float]]`
- tests/ignite/handlers/test_state_param_scheduler.py:154:76: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[Unknown | tuple[int, float] | tuple[float]]`
+ tests/ignite/handlers/test_state_param_scheduler.py:154:76: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[tuple[int, int | float] | tuple[float]]`
- tests/ignite/handlers/test_state_param_scheduler.py:160:76: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[Unknown | tuple[float, int]]`
+ tests/ignite/handlers/test_state_param_scheduler.py:160:76: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[int, int | float]]`, found `list[tuple[int, int | float] | tuple[float, int]]`

sockeye (https://github.com/awslabs/sockeye)
- test/unit/test_output_handler.py:46:43: error[invalid-argument-type] Argument is incorrect: Expected `list[list[int | float]] | None`, found `list[Unknown | float]`
+ test/unit/test_output_handler.py:46:43: error[invalid-argument-type] Argument is incorrect: Expected `list[list[int | float]] | None`, found `list[list[int | float] | float]`

pydantic (https://github.com/pydantic/pydantic)
- pydantic/__init__.py:249:1: error[invalid-assignment] Object of type `dict[Unknown | str, Unknown | tuple[str | None, str]]` is not assignable to `dict[str, tuple[str, str]]`
+ pydantic/__init__.py:249:1: error[invalid-assignment] Object of type `dict[str, tuple[str | None, str]]` is not assignable to `dict[str, tuple[str, str]]`
- pydantic/_internal/_generate_schema.py:131:1: error[invalid-assignment] Object of type `list[Unknown | typing.Tuple | <class 'tuple'>]` is not assignable to `list[type]`
+ pydantic/_internal/_generate_schema.py:131:1: error[invalid-assignment] Object of type `list[type | typing.Tuple]` is not assignable to `list[type]`
- pydantic/_internal/_generate_schema.py:132:1: error[invalid-assignment] Object of type `list[Unknown | typing.List | <class 'list'> | <class 'MutableSequence'>]` is not assignable to `list[type]`
+ pydantic/_internal/_generate_schema.py:132:1: error[invalid-assignment] Object of type `list[type | typing.List]` is not assignable to `list[type]`
- pydantic/_internal/_generate_schema.py:133:1: error[invalid-assignment] Object of type `list[Unknown | typing.Set | <class 'set'> | <class 'MutableSet'>]` is not assignable to `list[type]`
+ pydantic/_internal/_generate_schema.py:133:1: error[invalid-assignment] Object of type `list[type | typing.Set]` is not assignable to `list[type]`
- pydantic/_internal/_generate_schema.py:134:1: error[invalid-assignment] Object of type `list[Unknown | typing.FrozenSet | <class 'frozenset'> | <class 'AbstractSet'>]` is not assignable to `list[type]`
+ pydantic/_internal/_generate_schema.py:134:1: error[invalid-assignment] Object of type `list[type | typing.FrozenSet]` is not assignable to `list[type]`
- pydantic/_internal/_generate_schema.py:135:1: error[invalid-assignment] Object of type `list[Unknown | typing.Dict | <class 'dict'>]` is not assignable to `list[type]`
+ pydantic/_internal/_generate_schema.py:135:1: error[invalid-assignment] Object of type `list[type | typing.Dict]` is not assignable to `list[type]`
- pydantic/_internal/_generate_schema.py:139:1: error[invalid-assignment] Object of type `list[Unknown | typing.Type | <class 'type'>]` is not assignable to `list[type]`
+ pydantic/_internal/_generate_schema.py:139:1: error[invalid-assignment] Object of type `list[type | typing.Type]` is not assignable to `list[type]`
- pydantic/_internal/_generate_schema.py:160:1: error[invalid-assignment] Object of type `list[Unknown | <class 'deque'> | typing.Deque]` is not assignable to `list[type]`
+ pydantic/_internal/_generate_schema.py:160:1: error[invalid-assignment] Object of type `list[type | typing.Deque]` is not assignable to `list[type]`

pandera (https://github.com/pandera-dev/pandera)
- tests/pandas/test_dtypes.py:170:1: error[invalid-assignment] Object of type `list[Unknown | tuple[dict[Unknown | <class 'int'> | <class 'Int'> | ... omitted 8 union elements, Unknown | str], list[Unknown | int]] | tuple[dict[Unknown | <class 'INT8'> | <class 'INT16'> | <class 'INT32'> | <class 'INT64'>, Unknown | str], list[Unknown | int | None]] | ... omitted 14 union elements]` is not assignable to `list[tuple[dict[Unknown, Unknown], list[Unknown]]]`
+ tests/pandas/test_dtypes.py:170:1: error[invalid-assignment] Object of type `list[tuple[dict[Unknown, Unknown], list[Unknown]] | tuple[dict[Unknown | <class 'SparseDtype'> | SparseDtype, Unknown | SparseDtype], Series[Any]] | tuple[dict[Unknown | IntervalDtype, Unknown | str], Series[Any]]]` is not assignable to `list[tuple[dict[Unknown, Unknown], list[Unknown]]]`

dragonchain (https://github.com/dragonchain/dragonchain)
- dragonchain/transaction_processor/level_1_actions_utest.py:132:38: error[invalid-argument-type] Argument to function `create_block` is incorrect: Expected `list[TransactionModel]`, found `list[Unknown | dict[Unknown | str, Unknown | str]]`
+ dragonchain/transaction_processor/level_1_actions_utest.py:132:38: error[invalid-argument-type] Argument to function `create_block` is incorrect: Expected `list[TransactionModel]`, found `list[TransactionModel | dict[Unknown | str, Unknown | str]]`

mitmproxy (https://github.com/mitmproxy/mitmproxy)
- mitmproxy/addons/dumper.py:38:1: error[invalid-assignment] Object of type `dict[Unknown | str, Unknown | dict[str, str] | dict[str, bool]]` is not assignable to `dict[str, dict[str, str | bool]]`
+ mitmproxy/addons/dumper.py:38:1: error[invalid-assignment] Object of type `dict[str, dict[str, str | bool] | dict[str, str] | dict[str, bool]]` is not assignable to `dict[str, dict[str, str | bool]]`
- test/mitmproxy/addons/test_next_layer.py:492:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[Unknown | <class 'HttpProxy'> | <class 'ClientTLSLayer'> | partial[Unknown]]`
+ test/mitmproxy/addons/test_next_layer.py:492:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[type[Layer] | partial[Unknown]]`
- test/mitmproxy/addons/test_next_layer.py:524:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[Unknown | <class 'HttpProxy'> | partial[Unknown]]`
+ test/mitmproxy/addons/test_next_layer.py:524:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[type[Layer] | partial[Unknown]]`
- test/mitmproxy/addons/test_next_layer.py:536:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[Unknown | <class 'HttpProxy'> | partial[Unknown]]`
+ test/mitmproxy/addons/test_next_layer.py:536:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[type[Layer] | partial[Unknown]]`
- test/mitmproxy/addons/test_next_layer.py:554:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[Unknown | <class 'HttpProxy'> | partial[Unknown] | <class 'ServerTLSLayer'> | <class 'ClientTLSLayer'>]`
+ test/mitmproxy/addons/test_next_layer.py:554:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[type[Layer] | partial[Unknown]]`
- test/mitmproxy/addons/test_next_layer.py:575:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[Unknown | <class 'HttpProxy'> | partial[Unknown]]`
+ test/mitmproxy/addons/test_next_layer.py:575:13: error[invalid-argument-type] Argument is incorrect: Expected `list[type[Layer]]`, found `list[type[Layer] | partial[Unknown]]`
- test/mitmproxy/addons/test_tlsconfig.py:476:13: error[invalid-assignment] Object of type `list[Layer | Literal[123]]` is not assignable to attribute `layers` of type `list[Layer]`
+ test/mitmproxy/addons/test_tlsconfig.py:476:13: error[invalid-assignment] Object of type `list[Layer | int]` is not assignable to attribute `layers` of type `list[Layer]`
- test/mitmproxy/proxy/layers/http/test_http.py:84:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:84:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:92:35: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:92:35: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:98:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:98:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/http/test_http.py:150:33: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Connection`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:150:33: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Connection`, found `Connection | _Placeholder[Connection]`
- test/mitmproxy/proxy/layers/http/test_http.py:154:34: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:154:34: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/http/test_http.py:198:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:198:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:212:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:212:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:272:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:272:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:314:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:314:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:318:35: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:318:35: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:322:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:322:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/http/test_http.py:846:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:846:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/http/test_http.py:965:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:965:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/http/test_http.py:1029:37: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1029:37: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/http/test_http.py:1296:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1296:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/http/test_http.py:1454:41: error[invalid-argument-type] Argument is incorrect: Expected `TCPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1454:41: error[invalid-argument-type] Argument is incorrect: Expected `TCPFlow`, found `(Unknown & TCPFlow) | (_Placeholder[Unknown] & TCPFlow) | (Unknown & _Placeholder[TCPFlow]) | (_Placeholder[Unknown] & _Placeholder[TCPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:1641:27: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Connection`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1641:27: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Connection`, found `Connection | _Placeholder[Connection]`
- test/mitmproxy/proxy/layers/http/test_http.py:1749:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1749:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:1753:35: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1753:35: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:1794:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1794:33: error[invalid-argument-type] Argument is incorrect: Expected `HTTPFlow`, found `(Unknown & HTTPFlow) | (_Placeholder[Unknown] & HTTPFlow) | (Unknown & _Placeholder[HTTPFlow]) | (_Placeholder[Unknown] & _Placeholder[HTTPFlow])`
- test/mitmproxy/proxy/layers/http/test_http.py:1796:27: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Connection`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1796:27: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Connection`, found `Connection | _Placeholder[Connection]`
- test/mitmproxy/proxy/layers/http/test_http.py:1838:27: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Connection`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http.py:1838:27: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Connection`, found `Connection | _Placeholder[Connection]`
- test/mitmproxy/proxy/layers/http/test_http1.py:59:28: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http1.py:59:28: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `HttpEvent | _Placeholder[HttpEvent]`
- test/mitmproxy/proxy/layers/http/test_http1.py:81:28: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http1.py:81:28: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `HttpEvent | _Placeholder[HttpEvent]`
- test/mitmproxy/proxy/layers/http/test_http1.py:104:28: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http1.py:104:28: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `HttpEvent | _Placeholder[HttpEvent]`
- test/mitmproxy/proxy/layers/http/test_http1.py:110:28: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http1.py:110:28: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `HttpEvent | _Placeholder[HttpEvent]`
- test/mitmproxy/proxy/layers/http/test_http1.py:231:38: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http1.py:231:38: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http2.py:79:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:79:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http2.py:170:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:170:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http2.py:953:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:953:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http2.py:960:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:960:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http2.py:1070:30: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:1070:30: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http2.py:1085:33: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:1085:33: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `HttpEvent | _Placeholder[HttpEvent]`
- test/mitmproxy/proxy/layers/http/test_http2.py:1119:30: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:1119:30: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http2.py:1286:29: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:1286:29: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http2.py:1288:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http2.py:1288:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http3.py:1086:33: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http3.py:1086:33: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `HttpEvent`, found `HttpEvent | _Placeholder[HttpEvent]`
- test/mitmproxy/proxy/layers/http/test_http_fuzz.py:343:29: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http_fuzz.py:343:29: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/http/test_http_fuzz.py:451:38: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/http/test_http_fuzz.py:451:38: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/quic/test__raw_layers.py:105:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__raw_layers.py:105:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__raw_layers.py:136:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__raw_layers.py:136:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__raw_layers.py:157:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__raw_layers.py:157:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__raw_layers.py:165:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__raw_layers.py:165:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__raw_layers.py:217:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__raw_layers.py:217:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__raw_layers.py:239:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__raw_layers.py:239:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__raw_layers.py:255:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__raw_layers.py:255:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:480:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:480:32: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:555:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:555:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:610:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:610:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:615:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:615:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:714:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:714:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `(Unknown & ClientHelloData) | (_Placeholder[Unknown] & ClientHelloData) | (Unknown & _Placeholder[ClientHelloData]) | (_Placeholder[Unknown] & _Placeholder[ClientHelloData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:716:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:716:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:778:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:778:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `(Unknown & ClientHelloData) | (_Placeholder[Unknown] & ClientHelloData) | (Unknown & _Placeholder[ClientHelloData]) | (_Placeholder[Unknown] & _Placeholder[ClientHelloData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:786:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:786:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:800:45: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:800:45: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:804:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:804:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:851:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:851:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `(Unknown & ClientHelloData) | (_Placeholder[Unknown] & ClientHelloData) | (Unknown & _Placeholder[ClientHelloData]) | (_Placeholder[Unknown] & _Placeholder[ClientHelloData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:886:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:886:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `(Unknown & ClientHelloData) | (_Placeholder[Unknown] & ClientHelloData) | (Unknown & _Placeholder[ClientHelloData]) | (_Placeholder[Unknown] & _Placeholder[ClientHelloData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:888:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:888:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:946:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:946:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `(Unknown & ClientHelloData) | (_Placeholder[Unknown] & ClientHelloData) | (Unknown & _Placeholder[ClientHelloData]) | (_Placeholder[Unknown] & _Placeholder[ClientHelloData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:948:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:948:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:987:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:987:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `(Unknown & ClientHelloData) | (_Placeholder[Unknown] & ClientHelloData) | (Unknown & _Placeholder[ClientHelloData]) | (_Placeholder[Unknown] & _Placeholder[ClientHelloData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:997:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:997:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1008:40: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1008:40: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1022:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1022:39: error[invalid-argument-type] Argument is incorrect: Expected `ClientHelloData`, found `(Unknown & ClientHelloData) | (_Placeholder[Unknown] & ClientHelloData) | (Unknown & _Placeholder[ClientHelloData]) | (_Placeholder[Unknown] & _Placeholder[ClientHelloData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1030:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1030:36: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1042:47: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1042:47: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bytes`, found `bytes | _Placeholder[bytes]`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1064:40: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1064:40: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1078:40: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1078:40: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1102:40: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/quic/test__stream_layers.py:1102:40: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/test_modes.py:96:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:96:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:100:31: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:100:31: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/test_modes.py:109:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:109:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:111:31: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:111:31: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/test_modes.py:125:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:125:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:157:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:157:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:185:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:185:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:212:30: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:212:30: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:214:41: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:214:41: error[invalid-argument-type] Argument is incorrect: Expected `QuicTlsData`, found `(Unknown & QuicTlsData) | (_Placeholder[Unknown] & QuicTlsData) | (Unknown & _Placeholder[QuicTlsData]) | (_Placeholder[Unknown] & _Placeholder[QuicTlsData])`
- test/mitmproxy/proxy/layers/test_modes.py:233:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:233:26: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:274:30: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:274:30: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:293:30: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:293:30: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:299:34: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:299:34: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:308:35: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:308:35: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/test_modes.py:330:30: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:330:30: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_modes.py:427:38: error[invalid-argument-type] Argument is incorrect: Expected `Socks5AuthData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:427:38: error[invalid-argument-type] Argument is incorrect: Expected `Socks5AuthData`, found `(Unknown & Socks5AuthData) | (_Placeholder[Unknown] & Socks5AuthData) | (Unknown & _Placeholder[Socks5AuthData]) | (_Placeholder[Unknown] & _Placeholder[Socks5AuthData])`
- test/mitmproxy/proxy/layers/test_modes.py:508:33: error[invalid-argument-type] Argument is incorrect: Expected `Socks5AuthData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:508:33: error[invalid-argument-type] Argument is incorrect: Expected `Socks5AuthData`, found `(Unknown & Socks5AuthData) | (_Placeholder[Unknown] & Socks5AuthData) | (Unknown & _Placeholder[Socks5AuthData]) | (_Placeholder[Unknown] & _Placeholder[Socks5AuthData])`
- test/mitmproxy/proxy/layers/test_modes.py:561:42: error[invalid-argument-type] Argument is incorrect: Expected `Socks5AuthData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_modes.py:561:42: error[invalid-argument-type] Argument is incorrect: Expected `Socks5AuthData`, found `(Unknown & Socks5AuthData) | (_Placeholder[Unknown] & Socks5AuthData) | (Unknown & _Placeholder[Socks5AuthData]) | (_Placeholder[Unknown] & _Placeholder[Socks5AuthData])`
- test/mitmproxy/proxy/layers/test_tls.py:301:39: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_tls.py:301:39: error[invalid-argument-type] Argument is incorrect: Expected `TlsData`, found `(Unknown & TlsData) | (_Placeholder[Unknown] & TlsData) | (Unknown & _Placeholder[TlsData]) | (_Placeholder[Unknown] & _Placeholder[TlsData])`
- test/mitmproxy/proxy/layers/test_tls.py:324:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_tls.py:324:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `(Unknown & NextLayer) | (_Placeholder[Unknown] & NextLayer) | (Unknown & _Placeholder[NextLayer]) | (_Placeholder[Unknown] & _Placeholder[NextLayer])`
- test/mitmproxy/proxy/layers/test_tls.py:353:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found `Unknown | _Placeholder[Unknown]`
+ test/mitmproxy/proxy/layers/test_tls.py:353:36: error[invalid-argument-type] Argument is incorrect: Expected `NextLayer`, found...*[Comment body truncated]*

@ibraheemdev
Copy link
Member Author

ibraheemdev commented Nov 3, 2025

I may have underestimated the size of those intersection types...

@github-actions
Copy link
Contributor

github-actions bot commented Nov 3, 2025

ecosystem-analyzer results

Lint rule Added Removed Changed
invalid-argument-type 0 0 211
invalid-assignment 0 0 37
Total 0 0 248

Full report with detailed diff (timing results)

@ibraheemdev ibraheemdev mentioned this pull request Nov 6, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@carljm carljm Awaiting requested review from carljm carljm is a code owner

@AlexWaygood AlexWaygood Awaiting requested review from AlexWaygood AlexWaygood is a code owner

@sharkdp sharkdp Awaiting requested review from sharkdp sharkdp is a code owner

@dcreager dcreager Awaiting requested review from dcreager dcreager is a code owner

Assignees

No one assigned

Labels

ecosystem-analyzer ty Multi-file analysis & type inference

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@ibraheemdev @AlexWaygood