Skip to content
Test

fix list.__add__ to use the expected type #33265

Sign in to view logs

fix list.__add__ to use the expected type

fix list.__add__ to use the expected type #33265

Triggered via pull request September 21, 2025 23:37
@KotlinIslandKotlinIsland
synchronize #14756
KotlinIsland:list.__add__
Status Failure
Total duration 8m 6s
Artifacts –

tests.yml

on: pull_request
Check typeshed structure
13s
Check typeshed structure
mypy: Run test cases
4m 45s
mypy: Run test cases
stub_uploader tests
4m 50s
stub_uploader tests
Matrix: mypy: Check stubs
Matrix: pyright: Run test cases
Fit to window
Zoom out
Zoom in

Annotations

20 errors
pyright: Run test cases (Linux, 3.10)
Exit code 1
pyright: Run test cases (Windows, 3.9)
Exit code 1
pyright: Run test cases (Windows, 3.14)
Exit code 1
pyright: Run test cases (Linux, 3.14)
Exit code 1
pyright: Run test cases (Linux, 3.13)
1 error
pyright: Run test cases (Linux, 3.13): stdlib/@tests/test_cases/builtins/check_list.py#L25
Type "list[int | str]" is not assignable to declared type "List[None]"   "list[int | str]" is not assignable to "List[None]"     Type parameter "_T@list" is invariant, but "int | str" is not the same as "None"     Consider switching from "list" to "Sequence" which is covariant (reportAssignmentType)
pyright: Run test cases (Darwin, 3.12)
Exit code 1
pyright: Run test cases (Darwin, 3.13)
Exit code 1
pyright: Run test cases (Windows, 3.10)
Exit code 1
pyright: Run test cases (Linux, 3.9)
Exit code 1
pyright: Run test cases (Linux, 3.11)
Exit code 1
pyright: Run test cases (Darwin, 3.11)
Exit code 1
pyright: Run test cases (Darwin, 3.9)
Exit code 1
pyright: Run test cases (Windows, 3.12)
Exit code 1
pyright: Run test cases (Darwin, 3.10)
Exit code 1
pyright: Run test cases (Darwin, 3.14)
Exit code 1
pyright: Run test cases (Linux, 3.12)
Exit code 1
pyright: Run test cases (Windows, 3.11)
Exit code 1
pyright: Run test cases (Windows, 3.13)
Exit code 1
mypy: Run test cases
Process completed with exit code 1.