Trait creusot_contracts::std::iter::TrustedStep
source · pub unsafe trait TrustedStep: Step + Copy { }🔬This is a nightly-only experimental API. (
trusted_step)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.