ruff

98d1811d - [ty] Add goto definition to playground (#19425)