Miri: non-deterministic floating point operations in foreign_items#143906

bors merged 3 commits into

rust-lang:masterrust-lang/rust:masterfrom

LorrensP-2158466:miri-float-nondet-foreign-itemsLorrensP-2158466/rust:miri-float-nondet-foreign-itemsCopy head branch name to clipboard