ruff

af6ffe81 - [ty] Fix union ordering in solver