Skip to content

safe transmute: use Assume struct to provide analysis options#100726

Merged
bors merged 3 commits into
rust-lang:masterfrom
jswrenn:transmute
Sep 4, 2022
Merged

safe transmute: use Assume struct to provide analysis options#100726
bors merged 3 commits into
rust-lang:masterfrom
jswrenn:transmute

safe transmute: use `to_valtree` to destructure const `Assume`

fbcc038
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs