If you were using rustc as some sort of JIT compiler compile times could become extremely important, and error messages less important, at which point things li

If you were using rustc as some sort of JIT compiler compile times could become extremely important, and error messages less important, at which point things like this might be worth it. If you wanted the SAT solver for some other reason (optimization? proving code correct?) it might make sense to use it for this too.