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

Merged

bors merged 3 commits intorust-lang:masterfrom jswrenn:transmute

Sep 4, 2022

+1,319-734

Commits on Aug 22, 2022

safe transmute: use Assume struct to provide analysis options
jswrenn
committed

Commits on Aug 23, 2022

safe transmute: use FxIndex{Map,Set} instead of FxHash{Map,Set}
jswrenn
committed

Commits on Aug 31, 2022

safe transmute: use to_valtree to destructure const Assume
jswrenn
committed