Fix incorrect unsafe debug assertion in unchecked_div_exact

yilin0518 · yilin0518 · commit bf86b324fbb8 · 2026-06-24T00:45:52.000+08:00
diff --git a/library/core/src/num/int_macros.rs b/library/core/src/num/int_macros.rs
@@ -1181,7 +1181,7 @@ macro_rules! int_impl {
                 (
                     lhs: $SelfT = self,
                     rhs: $SelfT = rhs,
-                ) => rhs > 0 && lhs % rhs == 0 && (lhs != <$SelfT>::MIN || rhs != -1),
+                ) => rhs != 0 && lhs % rhs == 0 && (lhs != <$SelfT>::MIN || rhs != -1),
             );
             // SAFETY: Same precondition
             unsafe { intrinsics::exact_div(self, rhs) }

Original file line number	Diff line number	Diff line change
`@@ -1181,7 +1181,7 @@ macro_rules! int_impl {`
`1181`	`1181`	`(`
`1182`	`1182`	`lhs: $SelfT = self,`
`1183`	`1183`	`rhs: $SelfT = rhs,`
`1184`		`- ) => rhs > 0 && lhs % rhs == 0 && (lhs != <$SelfT>::MIN \|\| rhs != -1),`
	`1184`	`+ ) => rhs != 0 && lhs % rhs == 0 && (lhs != <$SelfT>::MIN \|\| rhs != -1),`
`1185`	`1185`	`);`
`1186`	`1186`	`// SAFETY: Same precondition`
`1187`	`1187`	`unsafe { intrinsics::exact_div(self, rhs) }`