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

0 file changed

File tree

    0 commit comments

    Comments
     (0)