Struct RegionSubst

struct RegionSubst {
    map: UnordMap<RegionVid, Region>,
}

Fields

map: UnordMap<RegionVid, Region>

Implementations

impl RegionSubst

fn apply<T: TypeFoldable>(&self, t: &T) -> T

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

impl RegionSubst

fn ty_infer_from_fn_sig(&mut self, a: &FnSig, b: &FnSig)

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

fn ty_infer_from_bty(&mut self, a: &BaseTy, ty: &Ty)

fn ty_infer_from_existential_pred( &mut self, a: &PolyExistentialPredicate, b: &PolyExistentialPredicate, )

fn ty_infer_from_generic_args(&mut self, a: &GenericArgs, b: &GenericArgs)

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

impl RegionSubst

fn rty_infer_from_fn_sig(&mut self, a: &FnSig, b: &FnSig)

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

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

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

fn rty_infer_from_existential_pred( &mut self, a: &Binder<ExistentialPredicate>, b: &Binder<ExistentialPredicate>, )

Trait Implementations

impl Debug for RegionSubst

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

Formats the value using the given formatter.

impl Default for RegionSubst

fn default() -> RegionSubst

Returns the “default value” for a type.