ruff

80637b23 - [π] Defer callable quantification through solving