Skip to content

Commit 950ccb8

Browse files
ZalatharZalathar
authored
Rollup merge of #145283 - theemathas:patch-1, r=Noratrieb
Make I-miscompile imply I-prioritize Since I-unsound already implies I-prioritize, it makes sense that I-miscompile should do the same.
2 parents 736bfc4 + c52ba93 commit 950ccb8

File tree

0 file changed

+0
-0
lines changed

    0 file changed

    +0
    -0
    lines changed

    0 commit comments

    Comments
     (0)