Trait MayDowncastTo

pub trait MayDowncastTo<T> { }

Marker trait for the statically known possibility of downcasting from Self to T.

Implementors

impl<Super, Sub> MayDowncastTo<Sub> for Super

where Super: IsA<Super>, Sub: IsA<Super>,