Skip to content

Miri function identity hack: account for possible inlining#123781

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:miri-fn-identityJul 5, 2024

Commits

Commits on Jul 2, 2024