AnyRef

dafny_runtime

Trait AnyRef 

Source 
pub trait AnyRef {
    // Required method
    fn as_any_ref(&self) -> &dyn Any;
}

Required Methods§

Source

fn as_any_ref(&self) -> &dyn Any

Implementors§

Source§

impl<T: 'static> AnyRef for T