Trait rustc_middle::ty::inherent::GenericArgs

source ·
pub trait GenericArgs<I>: Copy + DebugWithInfcx<I> + Hash + Eq + IntoIterator<Item = <I as Interner>::GenericArg> + Deref + Default + TypeFoldable<I> + Relate<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( interner: I, def_id: <I as Interner>::DefId, original_args: &[<I as Interner>::GenericArg], ) -> Self; fn split_closure_args(self) -> ClosureArgsParts<I>; fn split_coroutine_closure_args(self) -> CoroutineClosureArgsParts<I>; fn split_coroutine_args(self) -> CoroutineArgsParts<I>; }

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( interner: I, def_id: <I as Interner>::DefId, original_args: &[<I as Interner>::GenericArg], ) -> Self

source

fn split_closure_args(self) -> ClosureArgsParts<I>

source

fn split_coroutine_closure_args(self) -> CoroutineClosureArgsParts<I>

source

fn split_coroutine_args(self) -> CoroutineArgsParts<I>

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<'tcx> GenericArgs<TyCtxt<'tcx>> for GenericArgsRef<'tcx>