Tracking Issue for trusted_step (original) (raw)

Feature gate: #![feature(trusted_step)]

This is a tracking issue for the the TrustedStep trait. This trait indicates that the implementation of Step upholds all stated invariants, allowing certain optimizations to be made. TrustedLen is automatically implemented for all range types when TrustedStep is implemented.

Public API

// core::iter unsafe trait TrustedStep {}

Steps / History

• Implementation: Make Step trait safe to implement #83772
• Final commenting period (FCP)
• Stabilization PR

Unresolved Questions

• None yet.

Blockers

• min_specialization Tracking issue for specialization (RFC 1210) #31844