Trait TrustedRandomAccessNoCoerce

#[doc(hidden)] pub unsafe trait TrustedRandomAccessNoCoerce: Sized {
    const MAY_HAVE_SIDE_EFFECT: bool;

    // Provided method
    fn size(&self) -> usize
       where Self: Iterator { ... }
}

🔬This is a nightly-only experimental API. (trusted_random_access)

Like TrustedRandomAccess but without any of the requirements / guarantees around coercions to supertypes after __iterator_get_unchecked (they aren’t allowed here!), and without the requirement that subtypes / supertypes implement TrustedRandomAccessNoCoerce.

This trait was created in PR #85874 to fix soundness issue #85873 without performance regressions. It is subject to change as we might want to build a more generally useful (for performance optimizations) and more sophisticated trait or trait hierarchy that replaces or extends TrustedRandomAccess and TrustedRandomAccessNoCoerce.

Required Associated Constants

const MAY_HAVE_SIDE_EFFECT: bool

🔬This is a nightly-only experimental API. (trusted_random_access)

true if getting an iterator element may have side effects. Remember to take inner iterators into account.

Provided Methods

fn size(&self) -> usize

where Self: Iterator,

🔬This is a nightly-only experimental API. (trusted_random_access)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl TrustedRandomAccessNoCoerce for CaseMappingIter

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for ToLowercase

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for ToUppercase

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<i8>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<i16>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<i32>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<i64>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<isize>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<u8>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<u16>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<u32>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<u64>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<usize>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<i8>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<i16>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<i32>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<i64>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<isize>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<u8>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<u16>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<u32>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<u64>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for IterRange<usize>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Bytes<'_>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for Chunks<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for ChunksExact<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for ChunksExactMut<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for ChunksMut<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for Iter<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for IterMut<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for RChunks<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for RChunksExact<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for RChunksExactMut<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for RChunksMut<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for Windows<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T, const N: usize> TrustedRandomAccessNoCoerce for ArrayChunks<'a, T, N>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T, const N: usize> TrustedRandomAccessNoCoerce for ArrayChunksMut<'a, T, N>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<A, B> TrustedRandomAccessNoCoerce for Zip<A, B>

where A: TrustedRandomAccessNoCoerce, B: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool

impl<I> TrustedRandomAccessNoCoerce for Cloned<I>

where I: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool = true

impl<I> TrustedRandomAccessNoCoerce for Copied<I>

where I: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool = I::MAY_HAVE_SIDE_EFFECT

impl<I> TrustedRandomAccessNoCoerce for Enumerate<I>

where I: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool = I::MAY_HAVE_SIDE_EFFECT

impl<I> TrustedRandomAccessNoCoerce for Fuse<I>

where I: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool = I::MAY_HAVE_SIDE_EFFECT

impl<I> TrustedRandomAccessNoCoerce for Skip<I>

where I: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool = I::MAY_HAVE_SIDE_EFFECT

impl<I, F> TrustedRandomAccessNoCoerce for Map<I, F>

where I: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool = true

impl<T, const N: usize> TrustedRandomAccessNoCoerce for IntoIter<T, N>

where T: NonDrop,

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<T> TrustedRandomAccessNoCoerce for Iter<'_, T>

impl<T> TrustedRandomAccessNoCoerce for IterMut<'_, T>

impl<T, A: Allocator> TrustedRandomAccessNoCoerce for IntoIter<T, A>

where T: NonDrop,