Skip to content

Miri function identity hack: account for possible inlining - #123781

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:miri-fn-identity
Jul 5, 2024
Merged

Miri function identity hack: account for possible inlining#123781
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:miri-fn-identity

Commits

  1. Commits on Jul 2, 2024