pub trait TryInto<T>where
T: View,
Self: View + Sized,
Self::V: SpecTryInto<T::V>,{
type Error;
// Required method
exec fn ex_try_into(self) -> res : Result<T, Self::Error>;
}Expand description
Vest equivalent of std::convert::TryInto.
Required Associated Types§
Required Methods§
Sourceexec fn ex_try_into(self) -> res : Result<T, Self::Error>
exec fn ex_try_into(self) -> res : Result<T, Self::Error>
ensures
res matches Ok(
v,
) ==> {
&&& self@.spec_try_into() is Ok
&&& self@.spec_try_into() matches Ok(v_) && v@ == v_
},res matches Err(e) ==> self@.spec_try_into() is Err,Vest equivalent of std::convert::TryInto::try_into.
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.