Trait std::iter::TrustedStep

pub unsafe trait TrustedStep: Step { }
???? This is a nightly-only experimental API. (trusted_step #85731)

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

© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.
https://doc.rust-lang.org/std/iter/trait.TrustedStep.html