pub unsafe trait TrustedStep: Step { }
🔬This is a nightly-only experimental API. (trusted_step)
Available on non-crate feature miri-test-libstd only.
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.

Implementors§