dcreager/deferred-quantification - Branch - astral-sh/ruff

[ty] Defer existential quantification in constraint sets

#25559

Comparing

dcreager/deferred-quantification

(

540554d

) with

dcreager/alpha-renaming

(

8bfb8e8

)

-15%

Regression: 15

Untouched: 38

Skipped: 72

Benchmarks

125 total

ty_micro[many_protocol_members_mismatch]

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

-36%

372.7 ms580.4 ms

ty_micro[large_union_narrowing]

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

-23%

538.7 ms700.6 ms

multithreaded

crates/ruff_benchmark/benches/ty_walltime.rs

-22%

2.3 s3 s

ty_micro[typevar_mapping_accumulation]

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

-18%

1.2 s1.5 s

pydantic

crates/ruff_benchmark/benches/ty_walltime.rs

-17%

17.4 s20.9 s

ty_micro[large_isinstance_narrowing]

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

-14%

152.3 ms177.3 ms

pandas

crates/ruff_benchmark/benches/ty_walltime.rs

-13%

84.7 s96.9 s

ty_micro[typeis_narrowing]

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

-12%

203.9 ms230.9 ms

static_frame

crates/ruff_benchmark/benches/ty_walltime.rs

-11%

27 s30.4 s

altair

crates/ruff_benchmark/benches/ty_walltime.rs

-11%

7.6 s8.6 s

colour_science

crates/ruff_benchmark/benches/ty_walltime.rs

-9%

59.9 s65.6 s

ty_micro[typevar_mapping_small_accumulations]

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

-8%

214.5 ms232.8 ms

freqtrade

crates/ruff_benchmark/benches/ty_walltime.rs

-8%

11.6 s12.6 s

ty_micro[literal_match_fallthrough_guarded_any]

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

-6%

274.5 ms292.1 ms

ty_micro[literal_equality_fallthrough_guarded_any]

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

-6%

180.7 ms192.2 ms

ty_micro[complex_constrained_attributes_2]

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

73.3 ms73.1 ms

ty_micro[gradual_vararg_call]

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

73.9 ms73.8 ms

ty_micro[many_string_assignments]

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

84.3 ms84.2 ms

ty_micro[very_large_tuple]

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

75.4 ms75.3 ms

ty_micro[complex_constrained_attributes_3]

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

80.1 ms80 ms

ty_micro[complex_constrained_attributes_1]

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

73.8 ms73.7 ms

ty_micro[many_enum_members_2]

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

14.6 MB14.6 MB

ty_micro[literal_match_fallthrough]

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

12.4 MB12.4 MB

ty_micro[vararg_parameter_type_accumulation]

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

12 MB12 MB

ty_micro[many_string_assignments]

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

14.6 MB14.6 MB

Commits

Click on a commit to change the comparison range

Base

dcreager/alpha-renaming

8bfb8e8

-14.57%

remove completed plan

540554d

2 hours ago

by dcreager

Home Terms Privacy Docs