Skip to content

outline unreachable! from Clause::kind - #163657

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
panstromek:next-solver-unreachable
Oct 4, 2026
Merged

rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
panstromek:next-solver-unreachable