Trait rustc_type_ir::inherent::GenericArgs

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

Required Methods

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

fn identity_for_item(interner: I, def_id: I::DefId) -> I::GenericArgs

fn extend_with_error( tcx: I, def_id: I::DefId, original_args: &[I::GenericArg] ) -> I::GenericArgs

Object Safety

This trait is not object safe.

Implementors