ruff
[red-knot] Minor simplifications to `types.rs`
#14962

Merged

[red-knot] Minor simplifications to `types.rs` #14962

AlexWaygood merged 1 commit into main from alex/red-knot-style

[red-knot] Minor simplifications to `types.rs`

6a9eca8b

AlexWaygood added ty

AlexWaygood requested a review from

carljm 295 days ago

AlexWaygood requested a review from

MichaReiser 295 days ago

AlexWaygood requested a review from

sharkdp 295 days ago

AlexWaygood enabled auto-merge (squash) 295 days ago

carljm approved these changes on 2024-12-13

AlexWaygood merged 224c8438 into main 295 days ago

AlexWaygood deleted the alex/red-knot-style branch 295 days ago

Reviewers

carljm

MichaReiser

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone