SliceIndexSpec

Trait SliceIndexSpec 

Source
pub trait SliceIndexSpec<T>: SliceIndex<T>
where T: ?Sized,
{ // Required method spec fn index_req(&self, slice: &T) -> bool; }

Required Methods§

Source

spec fn index_req(&self, slice: &T) -> bool

Implementors§

Source§

impl<T, VERUS_SPEC__A: SliceIndex<T> + ?Sized> SliceIndexSpec<T> for VERUS_SPEC__A
where T: ?Sized,