diff --git a/library/core/src/iter/range.rs b/library/core/src/iter/range.rs
index 9e43d5688cecc..78cc62dd41dd3 100644
--- a/library/core/src/iter/range.rs
+++ b/library/core/src/iter/range.rs
@@ -1031,9 +1031,9 @@ impl<A: Step> Iterator for ops::RangeFrom<A> {
     }
 }
 
-// Safety: See above implementation for `ops::Range<A>`
+// Safety: RangeFrom::next() cannot return None
 #[unstable(feature = "trusted_len", issue = "37572")]
-unsafe impl<A: TrustedStep> TrustedLen for ops::RangeFrom<A> {}
+unsafe impl<A: Step> TrustedLen for ops::RangeFrom<A> {}
 
 #[stable(feature = "fused", since = "1.26.0")]
 impl<A: Step> FusedIterator for ops::RangeFrom<A> {}
diff --git a/library/core/src/range/iter.rs b/library/core/src/range/iter.rs
index 24efd4a204a5f..acad00a51fb97 100644
--- a/library/core/src/range/iter.rs
+++ b/library/core/src/range/iter.rs
@@ -322,8 +322,9 @@ impl<A: Step> Iterator for IterRangeFrom<A> {
     }
 }
 
+// Safety: RangeFrom::next() cannot return None
 #[unstable(feature = "trusted_len", issue = "37572")]
-unsafe impl<A: TrustedStep> TrustedLen for IterRangeFrom<A> {}
+unsafe impl<A: Step> TrustedLen for IterRangeFrom<A> {}
 
 #[unstable(feature = "new_range_api", issue = "125687")]
 impl<A: Step> FusedIterator for IterRangeFrom<A> {}