pub trait ExecSpecMapIndex<'a>: Sized + DeepView<V = Map<<Self::Key as DeepView>::V, <Self::Value as DeepView>::V>> {
type Key: DeepView;
type Value: DeepView;
// Required method
exec fn exec_index(self, key: Self::Key) -> Self::Value;
}Expand description
Spec for executable version of Map indexing.
Required Associated Types§
Required Methods§
Sourceexec fn exec_index(self, key: Self::Key) -> Self::Value
exec fn exec_index(self, key: Self::Key) -> Self::Value
requires
self.deep_view().dom().contains(key.deep_view()),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.