Type Alias flux_middle::rty::GenericArgs

pub type GenericArgs = List<GenericArg>;

Aliased Type

struct GenericArgs { /* private fields */ }

Trait Implementations

impl GenericArgsExt for GenericArgs

fn box_args(&self) -> (&Ty, &Ty)

fn to_rustc<'tcx>(&self, tcx: TyCtxt<'tcx>) -> GenericArgsRef<'tcx>

fn rebase_onto( &self, tcx: &TyCtxt<'_>, source_ancestor: DefId, target_args: &GenericArgs, ) -> List<GenericArg>