ruff

88d22fb6 - [ty] Project covariant universal bounds