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

Implementors

impl TrustedRandomAccessNoCoerce for Bytes<'_>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<NonZero<u8>>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<NonZero<u16>>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<NonZero<u32>>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<NonZero<u64>>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for Range<NonZero<usize>>

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 RangeIter<i8>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<i16>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<i32>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<i64>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<isize>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<u8>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<u16>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<u32>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<u64>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for RangeIter<usize>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for ToCasefold

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for ToLowercase

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for ToTitlecase

const MAY_HAVE_SIDE_EFFECT: bool = false

impl TrustedRandomAccessNoCoerce for ToUppercase

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 std::slice::Iter<'a, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<'a, T> TrustedRandomAccessNoCoerce for std::slice::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, B> TrustedRandomAccessNoCoerce for Zip<A, B>

where A: TrustedRandomAccessNoCoerce, B: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool

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

where I: TrustedRandomAccessNoCoerce,

const MAY_HAVE_SIDE_EFFECT: bool = true

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<T, A> TrustedRandomAccessNoCoerce for std::vec::IntoIter<T, A>

where A: Allocator, T: NonDrop,

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<T, const N: usize> TrustedRandomAccessNoCoerce for ArrayWindows<'_, T, N>

const MAY_HAVE_SIDE_EFFECT: bool = false

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

where T: NonDrop,

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<T> TrustedRandomAccessNoCoerce for std::collections::vec_deque::Iter<'_, T>

const MAY_HAVE_SIDE_EFFECT: bool = false

impl<T> TrustedRandomAccessNoCoerce for std::collections::vec_deque::IterMut<'_, T>

const MAY_HAVE_SIDE_EFFECT: bool = false