From d0fb350b6adaebfe342ddadb220baa415ab29824 Mon Sep 17 00:00:00 2001 From: byt <55319043+tiif@users.noreply.github.com> Date: Sun, 9 Jun 2024 17:59:06 +0800 Subject: [PATCH] Add comment for u128 to u64 conversion. Co-authored-by: Ralf Jung --- src/tools/miri/src/clock.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/tools/miri/src/clock.rs b/src/tools/miri/src/clock.rs index b8d0c847069c..2ace9b66de7b 100644 --- a/src/tools/miri/src/clock.rs +++ b/src/tools/miri/src/clock.rs @@ -40,6 +40,8 @@ impl Instant { InstantKind::Virtual { nanoseconds: earlier }, ) => { let duration = nanoseconds.saturating_sub(earlier); + // `Duration` does not provide a nice constructor from a `u128` of nanoseconds, + // so we have to implement this ourselves. // It is possible for second to overflow because u64::MAX < (u128::MAX / 1e9). let seconds = u64::try_from(duration.saturating_div(1_000_000_000)).unwrap(); // It is impossible for nanosecond to overflow because u32::MAX > 1e9.