Skip to content

Commit e330203

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 69e924a + c920410 commit e330203

File tree

0 file changed

+0
-0
lines changed

    0 file changed

    +0
    -0
    lines changed

    0 commit comments

    Comments
     (0)