unsound-upcast-2 - Branch - astral-sh/ruff

[ty] Ensure a `type[]` type `T` is always considered assignable to a union that holds `T` and a protocol `P`

#23901

Comparing

unsound-upcast-2

(

812ef18

) with

main

(

02f81b1

)

Untouched: 26

Skipped: 30

Benchmarks

56 total

colour_science

crates/ruff_benchmark/benches/ty_walltime.rs

+1%

112.2 s111 s

pandas

crates/ruff_benchmark/benches/ty_walltime.rs

+1%

80.6 s80.2 s

tanjun

crates/ruff_benchmark/benches/ty_walltime.rs

2.8 s2.8 s

freqtrade

crates/ruff_benchmark/benches/ty_walltime.rs

8.7 s8.6 s

pydantic

crates/ruff_benchmark/benches/ty_walltime.rs

6 s6 s

ty_micro[many_tuple_assignments]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_many_tuple_assignments

68.5 ms68.3 ms

DateType

crates/ruff_benchmark/benches/ty.rs::project::datetype::project

219.9 ms219.4 ms

static_frame

crates/ruff_benchmark/benches/ty_walltime.rs

30.2 s30.1 s

altair

crates/ruff_benchmark/benches/ty_walltime.rs

4.9 s4.9 s

ty_micro[very_large_tuple]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_very_large_tuple

72.8 ms72.6 ms

sympy

crates/ruff_benchmark/benches/ty_walltime.rs

65 s64.9 s

ty_micro[many_enum_members]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_many_enum_members

100 ms99.9 ms

ty_micro[large_isinstance_narrowing]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_large_isinstance_narrowing

143.9 ms143.9 ms

ty_check_file[cold]

crates/ruff_benchmark/benches/ty.rs::check_file::benchmark_cold

150.3 ms150.3 ms

hydra-zen

crates/ruff_benchmark/benches/ty.rs::project::hydra::project

1.2 s1.2 s

attrs

crates/ruff_benchmark/benches/ty.rs::project::attrs::project

483.9 ms483.9 ms

ty_micro[large_union_narrowing]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_large_union_narrowing

492.8 ms493.1 ms

ty_micro[many_string_assignments]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_many_string_assignments

80.4 ms80.4 ms

ty_micro[complex_constrained_attributes_3]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_complex_constrained_attributes_3

76.7 ms76.7 ms

anyio

crates/ruff_benchmark/benches/ty.rs::project::anyio::project

1.2 s1.2 s

ty_micro[complex_constrained_attributes_2]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_complex_constrained_attributes_2

70.7 ms70.7 ms

ty_micro[complex_constrained_attributes_1]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_complex_constrained_attributes_1

70.7 ms70.8 ms

ty_check_file[incremental]

crates/ruff_benchmark/benches/ty.rs::check_file::benchmark_incremental

8.2 ms8.2 ms

ty_micro[many_tuple_assignments]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_tuple_implicit_instance_attributes

70.6 ms70.7 ms

ty_micro[many_enum_members_2]

crates/ruff_benchmark/benches/ty.rs::micro::benchmark_many_enum_members_2

175 ms175.5 ms

Commits

Click on a commit to change the comparison range

Base

main

02f81b1

+0.1%

[ty] Ensure a `type[]` type `T` is always considered assignable to a union that holds `T` and a protocol `P`

812ef18

7 hours ago

by AlexWaygood

Home Terms Privacy Docs