# Trait std::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.

## Implementors§

source§

### impl TrustedStep for AsciiChar

source§

### impl TrustedStep for char

source§

### impl TrustedStep for i8

source§

### impl TrustedStep for i16

source§

### impl TrustedStep for i32

source§

### impl TrustedStep for i64

source§

### impl TrustedStep for i128

source§

### impl TrustedStep for isize

source§

### impl TrustedStep for u8

source§

### impl TrustedStep for u16

source§

### impl TrustedStep for u32

source§

### impl TrustedStep for u64

source§

### impl TrustedStep for u128

source§

### impl TrustedStep for usize

source§

### impl TrustedStep for Ipv4Addr

source§

### impl TrustedStep for Ipv6Addr