ruff
[red-knot] Rename `bindings_ty`, `declarations_ty`
#15618

Merged

[red-knot] Rename `bindings_ty`, `declarations_ty` #15618

sharkdp merged 4 commits into main from david/ty-renaming-2

[red-knot] Rename bindings_ty, declarations_ty

12667099

sharkdp added ty

Consistent names for variables

803455e0

sharkdp marked this pull request as ready for review 329 days ago

sharkdp requested a review from

carljm 329 days ago

sharkdp requested a review from

MichaReiser 329 days ago

sharkdp requested a review from

AlexWaygood 329 days ago

Update doc comment

67d6ab83

MichaReiser approved these changes on 2025-01-20

AlexWaygood approved these changes on 2025-01-20

Update crates/red_knot_python_semantic/src/types.rs

5cb30213

sharkdp merged 134fefa9 into main 329 days ago

sharkdp deleted the david/ty-renaming-2 branch 329 days ago

Reviewers

AlexWaygood

MichaReiser

carljm

Assignees

No one assigned

Labels

Milestone

No milestone