Trait formality_core::Downcast

pub trait Downcast: Sized {
    // Required method
    fn downcast<T>(&self) -> Option<T>
       where T: DowncastFrom<Self>;

    // Provided method
    fn is_a<T>(&self) -> bool
       where T: DowncastFrom<Self> { ... }
}

This is the convenience trait whose method you should call to do a downcast.

Required Methods

fn downcast<T>(&self) -> Option<T>

where T: DowncastFrom<Self>,

Provided Methods

fn is_a<T>(&self) -> bool

where T: DowncastFrom<Self>,

Object Safety

This trait is not object safe.

Implementors

impl<U> Downcast for U