Skip to content

Disable MIR inlining when stubbing is enabled - #5095

Open
r-near wants to merge 2 commits into
model-checking:mainfrom
r-near:fix-stub-mir-inline
Open

Disable MIR inlining when stubbing is enabled#5095
r-near wants to merge 2 commits into
model-checking:mainfrom
r-near:fix-stub-mir-inline

Pass `-Z inline-mir=no` only to the crate under verification

6f83447
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Oct 31, 2026 in 6s