core::iter

Trait 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.

Implementors§