ruff

86a09c8d - [ty] Defer type[Protocol] constructibility checks