ruff

2355e5bf - use constraint sets for lhs contrained typevars