Skip to content

Miri float->int casts: be explicit that this is saturating#70437

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:miri-saturate
Mar 27, 2020
Merged

Miri float->int casts: be explicit that this is saturating#70437
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:miri-saturate

Miri float->int casts: be explicit that this is saturating

27777e2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs