dafny_runtime

Trait UpcastBox

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

Required Methods§

Source

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

Implementors§