]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e5c5e02 27777e2)
Rollup merge of #70437 - RalfJung:miri-saturate, r=hanna-kruppe
authorDylan DPC <dylan.dpc@gmail.com>
Thu, 26 Mar 2020 20:44:09 +0000 (21:44 +0100)
committerGitHub <noreply@github.com>
Thu, 26 Mar 2020 20:44:09 +0000 (21:44 +0100)
Miri float->int casts: be explicit that this is saturating

r? @hanna-kruppe
Cc https://github.com/rust-lang/miri/issues/1264


Trivial merge
Empowering everyone to build reliable and efficient software.