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

[ty] handle recursive type inference properly

#20566Merged

Comparing

mtshiba:recursive-inference

(

278607f

) with

main

(

adf4f1e

)

+7%

Improvements: 5

Untouched: 17

Skipped: 30

Benchmarks

Skipped (30)

These benchmarks 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

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

2.2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

formatter[large/dataset.py]

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

Skipped

9.7 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

formatter[numpy/ctypeslib.py]

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

Skipped

1.9 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

211.1 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

837.5 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

parser[large/dataset.py]

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

Skipped

5.2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

formatter[pydantic/types.py]

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

Skipped

3.6 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

22.8 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

formatter[numpy/globals.py]

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

Skipped

248.7 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

lexer[pydantic/types.py]

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

Skipped

496.6 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

parser[unicode/pypinyin.py]

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

Skipped

329.4 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

414.5 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

1 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

parser[pydantic/types.py]

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

Skipped

2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

5.2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

lexer[numpy/globals.py]

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

Skipped

29.8 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

lexer[large/dataset.py]

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

Skipped

1.1 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

4.4 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

19 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

lexer[numpy/ctypeslib.py]

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

Skipped

222.4 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

737.2 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

formatter[unicode/pypinyin.py]

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

Skipped

678.3 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

lexer[unicode/pypinyin.py]

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

Skipped

77.3 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

8.6 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

2.3 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

4.4 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

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

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

Skipped

10.2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

parser[numpy/globals.py]

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

Skipped

108.8 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

parser[numpy/ctypeslib.py]

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

Skipped

952 µs*

Improved

Uses the Wall Time instrument
to collect wall time performance metrics.

medium[static-frame]

crates/ruff_benchmark/benches/ty_walltime.rs

+7%

17.4 s16.2 s

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_micro[complex_constrained_attributes_2]

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

+5%

70.6 ms67.3 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_micro[complex_constrained_attributes_1]

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

+5%

70.8 ms67.5 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

hydra-zen

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

+4%

1.1 s1 s

Uses the Wall Time instrument
to collect wall time performance metrics.

large[sympy]

crates/ruff_benchmark/benches/ty_walltime.rs

+4%

57.5 s55 s

Passed

Uses the Wall Time instrument
to collect wall time performance metrics.

small[freqtrade]

crates/ruff_benchmark/benches/ty_walltime.rs

+4%

7.2 s6.9 s

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_check_file[cold]

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

+4%

138.6 ms133.5 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

attrs

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

+3%

449.5 ms435.8 ms

Uses the Wall Time instrument
to collect wall time performance metrics.

medium[pandas]

crates/ruff_benchmark/benches/ty_walltime.rs

+3%

56.6 s55 s

Uses the Wall Time instrument
to collect wall time performance metrics.

small[altair]

crates/ruff_benchmark/benches/ty_walltime.rs

+3%

4.2 s4.1 s

Uses the Wall Time instrument
to collect wall time performance metrics.

small[tanjun]

crates/ruff_benchmark/benches/ty_walltime.rs

+3%

2.4 s2.4 s

Uses the Wall Time instrument
to collect wall time performance metrics.

medium[colour-science]

crates/ruff_benchmark/benches/ty_walltime.rs

+2%

20.3 s19.9 s

Uses the CPU Simulation instrument
to collect CPU performance metrics.

DateType

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

+2%

255.2 ms249.5 ms

Uses the Wall Time instrument
to collect wall time performance metrics.

multithreaded[altair]

crates/ruff_benchmark/benches/ty_walltime.rs

+2%

1.2 s1.2 s

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_micro[many_enum_members]

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

+2%

94.8 ms93.1 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

anyio

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

+1%

1.4 s1.4 s

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_micro[many_tuple_assignments]

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

+1%

67.4 ms67 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_micro[many_tuple_assignments]

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

66.2 ms66 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_micro[many_string_assignments]

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

76.9 ms76.8 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_micro[complex_constrained_attributes_3]

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

70.7 ms70.8 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

ty_check_file[incremental]

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

6.8 ms6.8 ms

Uses the Wall Time instrument
to collect wall time performance metrics.

large[pydantic]

crates/ruff_benchmark/benches/ty_walltime.rs

201.2 s201.7 s

Commits

Click on a commit to change the comparison range

Base

main

adf4f1e

-9.92%

Merge branch 'main' into recursive-inference

de28c13

1 month ago

by mtshiba

Update 1377_iteration_count_mismatch.md

a1e3d93

1 month ago

by mtshiba

update salsa

b852be7

1 month ago

by mtshiba

+14.77%

revert unnecessary changes

d68e5c0

1 month ago

by mtshiba

-0.68%

Add examples of self-referential types

b0a7804

1 month ago

by mtshiba

+3.81%

the code in `pr_20962_comprehension_panics.md` no longer panics

eda8017

1 month ago

by mtshiba

+1.85%

Merge branch 'main' into recursive-inference

3653427

1 month ago

by mtshiba

-1.61%

Merge branch 'main' into recursive-inference

fa88ca3

1 month ago

by mtshiba

+0.45%

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

682a2e8

1 month ago

by mtshiba

+0.62%

Update builder.rs

65bb223

1 month ago

by mtshiba

-0.9%

revert unnecessary changes

0cf4eaf

1 month ago

by mtshiba

+1.63%

Merge branch 'main' into recursive-inference

91167f9

1 month ago

by mtshiba

-0.7%

fix fuzzer hang

2393f6a

1 month ago

by mtshiba

-1.3%

Merge branch 'main' into recursive-inference

74a3758

30 days ago

by mtshiba

-0.6%

revert unnecessary changes

e7b0dc5

30 days ago

by mtshiba

-0.08%

update salsa reflects the change in https://github.com/mtshiba/salsa/commit/9333447c568e5095a1376164ddaeb8135692b253

e879f8b

29 days ago

by mtshiba

+2.7%

Merge branch 'main' into recursive-inference

0353244

27 days ago

by mtshiba

-0.83%

refactor

597a4ae

27 days ago

by mtshiba

-0.09%

fix recursive type normalization for implicit union type alias

eede68f

26 days ago

by mtshiba

+1.06%

add `Type::expand_eagerly`

ac44afa

26 days ago

by mtshiba

-0.07%

Merge branch 'main' into recursive-inference

3b4db33

26 days ago

by mtshiba

Update e2e__commands__debug_command.snap

2eea054

26 days ago

by mtshiba

-0.36%

Merge branch 'main' into recursive-inference

3bbac38

20 days ago

by mtshiba

-1.29%

use `salsa::Cycle`

46982fb

20 days ago

by mtshiba

-0.31%

Merge branch 'main' into recursive-inference

58fb95c

19 days ago

by mtshiba

-0.06%

fix union normalization

bd4977a

19 days ago

by mtshiba

+0.42%

Update pep613_type_aliases.md

8744543

18 days ago

by mtshiba

-0.64%

Merge branch 'main' into recursive-inference

aa5960c

18 days ago

by mtshiba

+0.18%

Update attributes.md

0abc06f

18 days ago

by mtshiba

+0.8%

improve handling of getting the generic context for legacy stub generic classes with cyclic bases

1d5e4dc

17 days ago

by mtshiba

+0.61%

add `Type::join_with_previous_cycle`

058f8ed

17 days ago

by mtshiba

-2.64%

Merge branch 'main' into recursive-inference

dc75cba

16 days ago

by mtshiba

+0.3%

infer subscript type expressions for union types

8527dee

16 days ago

by mtshiba

+0.84%

Revert "improve `ClassBase::try_from_type`" This reverts commit a54c8fdc9702a17854d0fd07614c0b22683e8264.

6fa94ac

16 days ago

by mtshiba

-0.88%

more comments

d30bbdf

16 days ago

by mtshiba

+1.25%

Merge branch 'main' into recursive-inference * main: [ty] Extend Liskov checks to also cover classmethods and staticmethods (#21598) Dogfood ty on the `scripts` directory (#21617) [ty] support generic aliases in `type[...]`, like `type[C[int]]` (#21552) [ty] Retain the function-like-ness of `Callable` types when binding `self` (#21614) [ty] Distinguish "unconstrained" from "constrained to any type" (#21539) Disable ty workspace diagnostics for VSCode users (#21620) [ty] Double click to insert inlay hint (#21600) [ty] Switch the error code from `unresolved-attribute` to `possibly-missing-attribute` for submodules that may not be available (#21618) [ty] Substitute for `typing.Self` when checking protocol members (#21569) [ty] Don't suggest things that aren't subclasses of `BaseException` after `raise` [ty] Add hint about resolved Python version when a user attempts to import a member added on a newer version (#21615)

9f3b455

16 days ago

by carljm

-1.08%

Merge branch 'main' into recursive-inference * main: [ty] Implement `typing.override` (#21627) [ty] Avoid expression reinference for diagnostics (#21267) [ty] Improve autocomplete suppressions of keywords in variable bindings [ty] Only suggest completions based on text before the cursor Implement goto-definition and find-references for global/nonlocal statements (#21616) [ty] Inlay Hint edit follow up (#21621) [ty] Implement lsp support for string annotations (#21577) [ty] Add 'remove unused ignore comment' code action (#21582) [ty] Refactor `CheckSuppressionContext` to use `DiagnosticGuard` (#21587) [ty] Improve several "Did you mean?" suggestions (#21597) [ty] Add more and update existing projects in `ty_benchmark` (#21536) [ty] fix ty playground initialization and vite optimization issues (#21471)

cbdc04f

15 days ago

by carljm

-0.28%

Update crates/ty_python_semantic/resources/mdtest/attributes.md Co-authored-by: Carl Meyer <carl@oddbird.net>

e748af9

15 days ago

by mtshiba

+0.13%

Update pep695_type_aliases.md

deb919a

14 days ago

by mtshiba

+0.16%

comment for `recursive_type_normalized_impl`

7f43950

14 days ago

by mtshiba

-0.32%

simplify boundtypevar case

278607f

14 days ago

by carljm

Home Terms Privacy Docs