tree c9d2d40b09e3fff2485eaff6dd8b729b43a0f2b4
parent 0a02ffd83acfbb4ade3682a4198774a231e27846
parent f2840cd6c85bcf0d9290eee167841ddaf2495489
author bors <bors@rust-lang.org> 1753301763 +0000
committer bors <bors@rust-lang.org> 1753301763 +0000

Auto merge of #144233 - cjgillot:unsat-mir, r=oli-obk

Consider parent predicates in ImpossiblePredicates pass.

This pass is double edged. It avoids some ICEs (yay!) but also degrades diagnostics from constant evaluation.

Fixes rust-lang/rust#121363
Fixes rust-lang/rust#131507
Fixes rust-lang/rust#140100
Fixes rust-lang/rust#140365