[RFC] Alternative approach of dealing with implications from comparisons through POS analysis

[nikic]

Compile-time results for enabling the LLVM 15 ConstraintElimination pass in rust: rustc performance data