Trait formality_core::Downcasted

pub trait Downcasted<'a>: IntoIterator {
    // Required method
    fn downcasted<T>(self) -> Box<dyn Iterator<Item = T> + 'a>
       where T: DowncastFrom<Self::Item>;
}

Required Methods

fn downcasted<T>(self) -> Box<dyn Iterator<Item = T> + 'a>

where T: DowncastFrom<Self::Item>,

Object Safety

This trait is not object safe.

Implementors

impl<'a, I> Downcasted<'a> for I

where I: IntoIterator + 'a,