mtshiba:implicit-recursive-union - Branch - astral-sh/ruff

[ty] support implicit recursive union type aliases

#22238

Comparing

mtshiba:implicit-recursive-union

(

a100e6c

) with

main

(

4e9de95

)

-5%

Improvements: 2

Regressions: 2

Untouched: 49

New: 1

Benchmarks

Failed

colour_science

crates/ruff_benchmark/benches/ty_walltime.rs

Regression

-5%

86.9 s91.9 s

freqtrade

crates/ruff_benchmark/benches/ty_walltime.rs

Regression

-5%

7.7 s8.1 s

Improved

hydra-zen

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

+15%

1.2 s1 s

ty_check_file[incremental]

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

+6%

6.1 ms5.8 ms

New

ty_micro[recursive_union_type_alias_and_protocol]

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

N/A

N/A69.6 ms

Passed

sympy

crates/ruff_benchmark/benches/ty_walltime.rs

50.5 s50.2 s

linter/default-rules[unicode/pypinyin.py]

crates/ruff_benchmark/benches/linter.rs::default_rules::benchmark_default_rules

407.3 µs407.2 µs

lexer[numpy/ctypeslib.py]

crates/ruff_benchmark/benches/lexer.rs::lexer::benchmark_lexer

228.1 µs228 µs

linter/all-rules[pydantic/types.py]

crates/ruff_benchmark/benches/linter.rs::all_rules::benchmark_all_rules

8.5 ms8.5 ms

linter/all-with-preview-rules[pydantic/types.py]

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

10.2 ms10.2 ms

linter/all-rules[numpy/ctypeslib.py]

crates/ruff_benchmark/benches/linter.rs::all_rules::benchmark_all_rules

4.3 ms4.3 ms

lexer[pydantic/types.py]

crates/ruff_benchmark/benches/lexer.rs::lexer::benchmark_lexer

510.1 µs510.1 µs

linter/all-with-preview-rules[numpy/globals.py]

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

834.1 µs834 µs

parser[pydantic/types.py]

crates/ruff_benchmark/benches/parser.rs::parser::benchmark_parser

2 ms2 ms

linter/all-rules[numpy/globals.py]

crates/ruff_benchmark/benches/linter.rs::all_rules::benchmark_all_rules

730.5 µs730.4 µs

linter/all-with-preview-rules[numpy/ctypeslib.py]

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

5.2 ms5.2 ms

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

crates/ruff_benchmark/benches/linter.rs::all_rules::benchmark_all_rules

18.4 ms18.4 ms

parser[large/dataset.py]

crates/ruff_benchmark/benches/parser.rs::parser::benchmark_parser

5.2 ms5.2 ms

lexer[large/dataset.py]

crates/ruff_benchmark/benches/lexer.rs::lexer::benchmark_lexer

1.2 ms1.2 ms

linter/default-rules[numpy/ctypeslib.py]

crates/ruff_benchmark/benches/linter.rs::default_rules::benchmark_default_rules

1 ms1 ms

linter/all-rules[unicode/pypinyin.py]

crates/ruff_benchmark/benches/linter.rs::all_rules::benchmark_all_rules

2 ms2 ms

linter/default-rules[large/dataset.py]

crates/ruff_benchmark/benches/linter.rs::default_rules::benchmark_default_rules

4.3 ms4.3 ms

lexer[unicode/pypinyin.py]

crates/ruff_benchmark/benches/lexer.rs::lexer::benchmark_lexer

79.3 µs79.3 µs

lexer[numpy/globals.py]

crates/ruff_benchmark/benches/lexer.rs::lexer::benchmark_lexer

30.2 µs30.2 µs

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

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

22.4 ms22.4 ms

linter/all-with-preview-rules[unicode/pypinyin.py]

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

2.2 ms2.2 ms

parser[numpy/ctypeslib.py]

crates/ruff_benchmark/benches/parser.rs::parser::benchmark_parser

959.9 µs959.9 µs

linter/default-rules[pydantic/types.py]

crates/ruff_benchmark/benches/linter.rs::default_rules::benchmark_default_rules

2.2 ms2.2 ms

formatter[pydantic/types.py]

crates/ruff_benchmark/benches/formatter.rs::formatter::benchmark_formatter

3.6 ms3.6 ms

formatter[large/dataset.py]

crates/ruff_benchmark/benches/formatter.rs::formatter::benchmark_formatter

9.4 ms9.4 ms

formatter[numpy/ctypeslib.py]

crates/ruff_benchmark/benches/formatter.rs::formatter::benchmark_formatter

1.9 ms1.9 ms

formatter[unicode/pypinyin.py]

crates/ruff_benchmark/benches/formatter.rs::formatter::benchmark_formatter

689.3 µs689.3 µs

parser[unicode/pypinyin.py]

crates/ruff_benchmark/benches/parser.rs::parser::benchmark_parser

329.6 µs329.6 µs

linter/default-rules[numpy/globals.py]

crates/ruff_benchmark/benches/linter.rs::default_rules::benchmark_default_rules

208 µs208 µs

formatter[numpy/globals.py]

crates/ruff_benchmark/benches/formatter.rs::formatter::benchmark_formatter

248.5 µs248.5 µs

parser[numpy/globals.py]

crates/ruff_benchmark/benches/parser.rs::parser::benchmark_parser

108.8 µs108.8 µs

ty_micro[complex_constrained_attributes_3]

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

70.9 ms71 ms

ty_micro[many_tuple_assignments]

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

67.7 ms67.8 ms

ty_micro[many_enum_members]

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

122.3 ms122.6 ms

multithreaded

crates/ruff_benchmark/benches/ty_walltime.rs

1.2 s1.2 s

ty_micro[many_string_assignments]

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

-1%

76.9 ms77.3 ms

tanjun

crates/ruff_benchmark/benches/ty_walltime.rs

-1%

2.5 s2.5 s

ty_check_file[cold]

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

-1%

130.1 ms130.9 ms

attrs

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

-1%

433.5 ms436.3 ms

ty_micro[many_tuple_assignments]

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

-1%

65.4 ms65.9 ms

ty_micro[many_enum_members_2]

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

-1%

151.8 ms153.2 ms

anyio

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

-1%

1.2 s1.2 s

ty_micro[complex_constrained_attributes_2]

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

-1%

67.8 ms68.5 ms

DateType

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

-1%

234.9 ms237.8 ms

altair

crates/ruff_benchmark/benches/ty_walltime.rs

-1%

4.5 s4.5 s

static_frame

crates/ruff_benchmark/benches/ty_walltime.rs

-1%

20.9 s21.2 s

ty_micro[complex_constrained_attributes_1]

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

-1%

67.9 ms68.9 ms

pandas

crates/ruff_benchmark/benches/ty_walltime.rs

-3%

61.7 s63.3 s

pydantic

crates/ruff_benchmark/benches/ty_walltime.rs

-3%

7.6 s7.8 s

Commits

Click on a commit to change the comparison range

Base

main

4e9de95

+9.29%

reduce `UnionTypeInstance` size

05f820b

23 days ago

by mtshiba

-18.71%

update snapshots

536ecc5

23 days ago

by mtshiba

-0.15%

Merge branch 'main' into implicit-recursive-union

8d46acf

23 days ago

by mtshiba

-0.97%

intern `EagerUnionTypeInstance`

68cea9a

23 days ago

by mtshiba

-1.41%

Revert "intern `EagerUnionTypeInstance`" This reverts commit 68cea9a66d5bdfbcc2d7da092da1ebfcd0c7a9ab.

89b4975

23 days ago

by mtshiba

-0.38%

wip

76556bc

23 days ago

by mtshiba

+0.31%

Reapply "reduce `UnionTypeInstance` size" This reverts commit 2a300e4e85fddb9e8a421d027f1abb3fe92746b4.

7a1d2d3

23 days ago

by mtshiba

+21.31%

remove unnecessary code

2c6879b

23 days ago

by mtshiba

-20.42%

use `infer_same_file_expression_type` in `{lazy_union_, ImplicitTypeAliasType::}value_type`

4853b11

23 days ago

by mtshiba

-0.84%

Revert "use `infer_same_file_expression_type` in `{lazy_union_, ImplicitTypeAliasType::}value_type`" This reverts commit 4853b110c7432c735375f7379ddf4fc233831c4b.

72927f8

23 days ago

by mtshiba

+26.71%

Update callable.md

2893943

22 days ago

by mtshiba

-0.01%

Merge branch 'main' into implicit-recursive-union

c095ce3

22 days ago

by mtshiba

-29.67%

Update ty_walltime.rs

36f981f

22 days ago

by mtshiba

+29.92%

Merge branch 'main' into implicit-recursive-union

c2ae1b3

21 days ago

by mtshiba

+0.34%

Merge branch 'main' into implicit-recursive-union

c292e50

16 days ago

by mtshiba

-23.41%

avoid stack overflow

c827c3e

16 days ago

by mtshiba

+0.78%

add a regression benchmark test

938a7ce

16 days ago

by mtshiba

+7.29%

experiment: check the impact of the PR on the non-determinism of mypy_primer diffs

1b16d89

14 days ago

by mtshiba

Merge branch 'main' into implicit-recursive-union

276a8ce

14 days ago

by mtshiba

+17.78%

experiment: check the impact of the PR on the non-determinism of mypy_primer diffs (2)

41c6480

14 days ago

by mtshiba

-25.19%

Revert "experiment: check the impact of the PR on the non-determinism of mypy_primer diffs" This reverts commit 1b16d897ffcfa11f9c0df25ce96c2853692d37b7.

882c15a

14 days ago

by mtshiba

+22.07%

Merge branch 'main' into implicit-recursive-union

6e1712e

5 hours ago

by mtshiba

-72.3%

Update ty_walltime.rs

ce8fadf

5 hours ago

by mtshiba

+52.18%

improve `TypedDict` narrowing logic

a100e6c

3 hours ago

by mtshiba

Home Terms Privacy Docs