Skip to content

transmutability: model NonZero scalar ranges#148449

Open
joshlf wants to merge 1 commit into
rust-lang:mainfrom
joshlf:transmute-nonzero
Open

transmutability: model NonZero scalar ranges#148449
joshlf wants to merge 1 commit into
rust-lang:mainfrom
joshlf:transmute-nonzero