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.
S
Stuart Cook committed
dcc0b6b7b8b975d91ee2799d84f95772035c16a4
Committed by GitHub <noreply@github.com>
on 8/12/2025, 10:37:58 AM