ruff

074d32e8 - [ty] Fix playground crash when renaming file (#23838)