diff --git a/rt/src/timers/mod.rs b/rt/src/timers/mod.rs index 255be3811..dd240414d 100644 --- a/rt/src/timers/mod.rs +++ b/rt/src/timers/mod.rs @@ -301,7 +301,7 @@ impl Timers { // needs to be the last. So we reverse the order, which ensures the list // is sorted again. timers.reverse(); - debug_assert!(timers.is_sorted_by(|t1, t2| Some(t1.deadline.cmp(&t2.deadline)))); + debug_assert!(timers.is_sorted_by(|t1, t2| t1.deadline <= t2.deadline)); true }