Skip to content

Commit b0ede7c

Browse files
borsbors
committed
Auto merge of rust-lang#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#121363 Fixes rust-lang#131507 Fixes rust-lang#140100 Fixes rust-lang#140365
2 parents 0787b49 + 59f6122 commit b0ede7c

File tree

0 file changed

+0
-0
lines changed

    0 file changed

    +0
    -0
    lines changed

    0 commit comments

    Comments
     (0)