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