Trait rustc_infer::infer::canonical::ir::inherent::GenericArgs

source · 
pub trait GenericArgs<I>: Copy + DebugWithInfcx<I> + Hash + Eq + IntoIterator<Item = <I as Interner>::GenericArg> + Deref + Default + TypeFoldable<I>
where
    Self::Target: Deref<Target = [<I as Interner>::GenericArg]>,
    I: Interner<GenericArgs = Self>,
{
    // Required methods
    fn type_at(self, i: usize) -> <I as Interner>::Ty;
    fn identity_for_item(interner: I, def_id: <I as Interner>::DefId) -> Self;
    fn extend_with_error(
        tcx: I,
        def_id: <I as Interner>::DefId,
        original_args: &[<I as Interner>::GenericArg]
    ) -> Self;
}

Required Methods§

source

fn type_at(self, i: usize) -> <I as Interner>::Ty

source

fn identity_for_item(interner: I, def_id: <I as Interner>::DefId) -> Self

source

fn extend_with_error( tcx: I, def_id: <I as Interner>::DefId, original_args: &[<I as Interner>::GenericArg] ) -> Self

Object Safety§

This trait is not object safe.

Implementors§