From 6a3c8e3ac1520dfdcce63872df505e6cfde0bb64 Mon Sep 17 00:00:00 2001
From: Adkid-Zephyr <laufs0310@163.com>
Date: Thu, 27 Aug 2026 15:18:44 +0100
Subject: [PATCH] Strengthen Duration::from_secs contract

---
 library/core/src/time.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/library/core/src/time.rs b/library/core/src/time.rs
index cc7663bee0ef7..94f58572a6555 100644
--- a/library/core/src/time.rs
+++ b/library/core/src/time.rs
@@ -237,6 +237,7 @@ impl Duration {
     #[rustc_const_stable(feature = "duration_consts", since = "1.32.0")]
     #[ensures(|duration| duration.is_safe())]
     #[ensures(|duration| duration.secs == secs)]
+    #[ensures(|duration| duration.nanos.as_inner() == 0)]
     pub const fn from_secs(secs: u64) -> Duration {
         Duration { secs, nanos: Nanoseconds::ZERO }
     }