variable-precision float operations can differ depending on optimization levels#124609

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:float-precisionRalfJung/rust:float-precisionCopy head branch name to clipboard