PR #19592 [ty] Fix "peek definition" in playground

[ty] Fix "peek definition" in playground #19592

MichaReiser merged 1 commit into main from fix/peek-definition-empty-previews

MichaReiser changed the title ~~[ty] Fix definition peek~~ [ty] Fix "peek definition" in playground 69 days ago

MichaReiser added bug

MichaReiser added playground

[ty] Fix definition peek

e5b05872

MichaReiser force pushed from 8e33a995 to e5b05872 69 days ago

sharkdp approved these changes on 2025-07-28

MichaReiser merged 8c0743df into main 69 days ago

MichaReiser deleted the fix/peek-definition-empty-previews branch 69 days ago

ntBre added ty

Reviewers

sharkdp

Assignees

No one assigned

Labels

bug playground ty

Milestone

No milestone