ruff

4b8d29df - [ty] Explain deferred receiver specialization TODOs