Upcast

dafny_runtime

Trait Upcast 

Source 
pub trait Upcast<T: ?Sized> {
    // Required method
    fn upcast(&self) -> Ptr<T>;
}

Required Methods§

Source

fn upcast(&self) -> Ptr<T>

Implementors§

Source§

impl<T: ?Sized> Upcast<T> for T