SpecInto

vest_lib::utils

Trait SpecInto 

Source 
pub trait SpecInto<T>: Sized {
    // Required method
    spec fn spec_into(self) -> T;
}
Expand description

Spec version of Into.

Required Methods§

Source

spec fn spec_into(self) -> T

Spec version of Into::ex_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.

Implementors§

Source§

impl<T, U> SpecInto<U> for T
where U: SpecFrom<T>,