pub trait ExecSpecTypewhere
for<'a> &'a Self::ExecOwnedType: ToRef<Self::ExecRefType<'a>>,
for<'a> Self::ExecRefType<'a>: ToOwned<Self::ExecOwnedType>,{
type ExecOwnedType: DeepView<V = Self>;
type ExecRefType<'a>: DeepView<V = Self>;
}Expand description
Any spec types used in exec_spec macro
must implement this trait to indicate
the corresponding exec type (owned and borrowed versions).
Required Associated Types§
Sourcetype ExecOwnedType: DeepView<V = Self>
type ExecOwnedType: DeepView<V = Self>
Owned version of the exec type.
Sourcetype ExecRefType<'a>: DeepView<V = Self>
type ExecRefType<'a>: DeepView<V = Self>
Reference version of the exec type.
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.