dafny_runtime::object

Function downcast

Source 
pub fn downcast<T: 'static>(_self: Object<dyn Any>) -> Object<T>