ruff

151e9c24 - [ty] Intersection simplifications with gradual generic specializations