Trait ExIndex 

pub trait ExIndex<Idx>
where
    Idx: ?Sized,
{
    type ExternalTraitSpecificationFor: Index<Idx>;
    type Output: ?Sized;

    // Required methods
    spec fn index_req(&self, index: &Idx) -> bool;
    exec fn index(&self, index: Idx) -> output : &Self::Output
       where Idx: Sized;
}

Required Associated Types

type ExternalTraitSpecificationFor: Index<Idx>

type Output: ?Sized

Required Methods

spec fn index_req(&self, index: &Idx) -> bool

exec fn index(&self, index: Idx) -> output : &Self::Output

where Idx: Sized,

requires

self.index_req(&index),

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors