mtshiba:recursive-inference - Branch - astral-sh/ruff

[ty] WIP: handle recursive type inference properly

#20566

Comparing

mtshiba:recursive-inference

(

2393f6a

) with

main

(

c7ff982

)

+9%

Improvements: 2

Untouched: 50

Benchmarks

Improved

medium[static-frame]

crates/ruff_benchmark/benches/ty_walltime.rs

+9%

12 s11 s

large[sympy]

crates/ruff_benchmark/benches/ty_walltime.rs

+4%

52 s49.8 s

Passed

medium[colour-science]

crates/ruff_benchmark/benches/ty_walltime.rs

+4%

15 s14.4 s

small[pydantic]

crates/ruff_benchmark/benches/ty_walltime.rs

+2%

3 s2.9 s

small[altair]

crates/ruff_benchmark/benches/ty_walltime.rs

+2%

2.7 s2.6 s

small[freqtrade]

crates/ruff_benchmark/benches/ty_walltime.rs

+2%

5.8 s5.7 s

multithreaded[pydantic]

crates/ruff_benchmark/benches/ty_walltime.rs

+2%

343 ms336.8 ms

attrs

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

+2%

433.2 ms425.6 ms

small[tanjun]

crates/ruff_benchmark/benches/ty_walltime.rs

+2%

2.1 s2.1 s

medium[pandas]

crates/ruff_benchmark/benches/ty_walltime.rs

+2%

41.5 s40.9 s

hydra-zen

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

+1%

853 ms840.8 ms

ty_micro[many_enum_members]

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

+1%

93.3 ms92 ms

anyio

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

+1%

1.1 s1.1 s

ty_check_file[cold]

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

+1%

131.8 ms130.1 ms

parser[numpy/globals.py]

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

+1%

109 µs108.3 µs

ty_micro[many_tuple_assignments]

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

+1%

66.4 ms66 ms

ty_micro[complex_constrained_attributes_1]

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

67.3 ms67.1 ms

parser[unicode/pypinyin.py]

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

330.1 µs328.9 µs

parser[numpy/ctypeslib.py]

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

953.2 µs950.4 µs

parser[large/dataset.py]

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

5.1 ms5.1 ms

ty_micro[complex_constrained_attributes_2]

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

67 ms66.9 ms

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

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

829.9 µs828.5 µs

DateType

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

212.4 ms212 ms

parser[pydantic/types.py]

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

2 ms2 ms

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

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

210 µs209.8 µs

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

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

729.5 µs728.7 µs

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

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

22.3 ms22.2 ms

ty_micro[many_tuple_assignments]

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

67.4 ms67.4 ms

formatter[unicode/pypinyin.py]

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

675.9 µs675.7 µs

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

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

2.2 ms2.2 ms

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

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

10.1 ms10.1 ms

ty_micro[many_string_assignments]

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

77.2 ms77.2 ms

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

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

18.6 ms18.6 ms

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

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

5.1 ms5.1 ms

lexer[large/dataset.py]

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

1.1 ms1.1 ms

formatter[numpy/ctypeslib.py]

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

1.9 ms1.9 ms

lexer[pydantic/types.py]

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

496.3 µs496.5 µs

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

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

4.3 ms4.3 ms

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

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

1 ms1 ms

formatter[large/dataset.py]

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

9.6 ms9.6 ms

ty_check_file[incremental]

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

6.1 ms6.1 ms

formatter[pydantic/types.py]

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

3.6 ms3.6 ms

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

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

409.4 µs409.6 µ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-rules[numpy/ctypeslib.py]

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

4.3 ms4.3 ms

lexer[numpy/globals.py]

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

29.7 µs29.7 µs

lexer[numpy/ctypeslib.py]

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

222.1 µs222.3 µs

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

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

1.9 ms1.9 ms

formatter[numpy/globals.py]

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

246.2 µs246.5 µs

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

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

2.2 ms2.2 ms

ty_micro[complex_constrained_attributes_3]

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

70.5 ms70.7 ms

lexer[unicode/pypinyin.py]

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

77 µs77.2 µs

Commits

Click on a commit to change the comparison range

Base

main

c7ff982

-9.92%

Merge branch 'main' into recursive-inference

de28c13

14 days ago

by mtshiba

Update 1377_iteration_count_mismatch.md

a1e3d93

14 days ago

by mtshiba

update salsa

b852be7

10 days ago

by mtshiba

+14.77%

revert unnecessary changes

d68e5c0

10 days ago

by mtshiba

-0.68%

Add examples of self-referential types

b0a7804

9 days ago

by mtshiba

+3.81%

the code in `pr_20962_comprehension_panics.md` no longer panics

eda8017

6 days ago

by mtshiba

+1.85%

Merge branch 'main' into recursive-inference

3653427

4 days ago

by mtshiba

-1.61%

Merge branch 'main' into recursive-inference

fa88ca3

3 days ago

by mtshiba

+0.45%

don't create a query cycle in the cycle recovery function

682a2e8

3 days ago

by mtshiba

+0.62%

Update builder.rs

65bb223

3 days ago

by mtshiba

-0.9%

revert unnecessary changes

0cf4eaf

3 days ago

by mtshiba

+1.63%

Merge branch 'main' into recursive-inference

91167f9

3 days ago

by mtshiba

-0.7%

fix fuzzer hang

2393f6a

3 days ago

by mtshiba

Home Terms Privacy Docs