Miri: handling of SNaN inputs in f*::pow operations#142514

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

LorrensP-2158466:miri-float-nondet-powLorrensP-2158466/rust:miri-float-nondet-powCopy head branch name to clipboard