PR #18480 [ty] Fix completion order in playground

[ty] Fix completion order in playground #18480

MichaReiser merged 1 commit into main from micha/fix-completion-order

[ty] Fix completion order in playground

4a83341e

MichaReiser added playground

MichaReiser added ty

MichaReiser requested a review from

BurntSushi 105 days ago

MichaReiser commented on 2025-06-05

BurntSushi approved these changes on 2025-06-05

MichaReiser merged 28dbc5c5 into main 105 days ago

MichaReiser deleted the micha/fix-completion-order branch 105 days ago

Reviewers

BurntSushi

Assignees

No one assigned

Labels

playground ty

Milestone

No milestone