Trait rustc_type_ir::InternAs

pub trait InternAs<T: ?Sized, R> {
    type Output;

    fn intern_with<F>(self, f: F) -> Self::Output
   where
        F: FnOnce(&T) -> R;
}

Required Associated Types

type Output

Required Methods

fn intern_with<F>(self, f: F) -> Self::Outputwhere
    F: FnOnce(&T) -> R,

Implementors

impl<I, T, R, E> InternAs<[T], R> for Iwhere
    E: InternIteratorElement<T, R>,
    I: Iterator<Item = E>,

type Output = <E as InternIteratorElement<T, R>>::Output