Trait core::iter::TrustedStep
source · pub unsafe trait TrustedStep: Step + Copy { }
🔬This is a nightly-only experimental API. (
trusted_step
#85731)Expand description
A type that upholds all invariants of Step
.
The invariants of Step::steps_between()
are a superset of the invariants
of TrustedLen
. As such, TrustedLen
is implemented for all range
types with the same generic type argument.
§Safety
The implementation of Step
for the given type must guarantee all
invariants of all methods are upheld. See the Step
trait’s documentation
for details. Consumers are free to rely on the invariants in unsafe code.
Object Safety§
This trait is not object safe.