alex:alex/ty-narrowing-conditional-terminals - Branch - astral-sh/ruff

[ty] Use TDD-based narrowing constraints and support NoReturn narrowing

#23109Merged

Comparing

alex:alex/ty-narrowing-conditional-terminals

(

9d8c67a

) with

main

(

90c8571

)

-1%

Untouched: 24

Skipped: 30

Benchmarks

54 total

multithreaded

crates/ruff_benchmark/benches/ty_walltime.rs

+1%

1.3 s1.3 s

ty_micro[very_large_tuple]

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

69 ms68.9 ms

ty_micro[many_enum_members]

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

123.1 ms122.9 ms

ty_micro[many_tuple_assignments]

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

67.4 ms67.2 ms

ty_micro[many_tuple_assignments]

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

65.2 ms65.1 ms

DateType

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

210 ms209.8 ms

ty_check_file[cold]

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

133.2 ms133.2 ms

ty_micro[complex_constrained_attributes_2]

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

67.3 ms67.4 ms

colour_science

crates/ruff_benchmark/benches/ty_walltime.rs

129 s129.1 s

ty_micro[complex_constrained_attributes_1]

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

67.5 ms67.5 ms

ty_micro[many_string_assignments]

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

77.1 ms77.2 ms

anyio

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

1.2 s1.2 s

ty_micro[complex_constrained_attributes_3]

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

-1%

70.9 ms71.2 ms

ty_micro[many_enum_members_2]

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

-1%

155 ms155.8 ms

attrs

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

-1%

461.2 ms464.2 ms

hydra-zen

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

-1%

1.3 s1.3 s

ty_check_file[incremental]

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

-1%

6.2 ms6.3 ms

tanjun

crates/ruff_benchmark/benches/ty_walltime.rs

-1%

2.7 s2.7 s

freqtrade

crates/ruff_benchmark/benches/ty_walltime.rs

-1%

8.9 s9 s

pydantic

crates/ruff_benchmark/benches/ty_walltime.rs

-1%

7.2 s7.3 s

static_frame

crates/ruff_benchmark/benches/ty_walltime.rs

-2%

29.8 s30.3 s

pandas

crates/ruff_benchmark/benches/ty_walltime.rs

-2%

77.7 s79.3 s

sympy

crates/ruff_benchmark/benches/ty_walltime.rs

-2%

55.6 s56.8 s

altair

crates/ruff_benchmark/benches/ty_walltime.rs

-2%

4.8 s4.9 s

The benchmarks below were skipped, so their baseline results are used instead. If they were deleted in your codebase, archive them to remove them from the performance reports.
Learn more about archiving benchmarks

linter/all-with-preview-rules[large/dataset.py]

crates/ruff_benchmark/benches/linter.rs::preview_rules::benchmark_preview_rules

Skipped

22.8 ms*

Commits

Click on a commit to change the comparison range

Base

main

90c8571

-1.42%

[ty] Use TDD-based narrowing constraints and support NoReturn narrowing

2f7e96e

10 days ago

by alex

-22%

[ty] Add test cases for narrowing with terminal branches

038c17c

10 days ago

by alex

-25.13%

[ty] Limit all-places narrowing to prevent exponential blowup

7536056

9 days ago

by alex

+41.18%

[ty] Revert all-places narrowing (keep test cases with TODOs)

5fd9a9c

9 days ago

by alex

+6.79%

[ty] Address code review feedback on narrowing PR

9d8c67a

4 days ago

by alex

Home Terms Privacy Docs