Struct TVarSubst

struct TVarSubst {
    args: Vec<Option<GenericArg>>,
}

Fields

args: Vec<Option<GenericArg>>

Implementations

impl TVarSubst

fn new(generics: &Generics) -> Self

fn instantiate_partial<T: TypeFoldable>( &mut self, pred: EarlyBinder<T>, ) -> Option<T>

fn finish<'tcx>( self, tcx: TyCtxt<'tcx>, generics: &'tcx Generics, ) -> Vec<GenericArg>

fn generic_args(&mut self, a: &GenericArg, b: &GenericArg)

fn tys(&mut self, a: &Ty, b: &Ty)

fn subset_tys(&mut self, a: &SubsetTyCtor, b: &SubsetTyCtor)

fn btys(&mut self, a: &BaseTy, b: &BaseTy)

fn regions(&mut self, a: Region, b: Region)

fn consts(&mut self, a: &Const, b: &Const)

fn insert_generic_arg(&mut self, idx: u32, arg: GenericArg)

Trait Implementations

impl Debug for TVarSubst

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl GenericsSubstDelegate for &TVarSubst

type Error = ()

fn ty_for_param(&mut self, param_ty: ParamTy) -> Result<Ty, Self::Error>

fn sort_for_param(&mut self, param_ty: ParamTy) -> Result<Sort, Self::Error>

fn ctor_for_param( &mut self, param_ty: ParamTy, ) -> Result<SubsetTyCtor, Self::Error>

fn region_for_param(&mut self, _ebr: EarlyParamRegion) -> Region

fn expr_for_param_const(&self, _param_const: ParamConst) -> Expr

fn const_for_param(&mut self, _param: &Const) -> Const