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