Struct rustc_infer::infer::combine::ConstInferUnifier

struct ConstInferUnifier<'cx, 'tcx> {
    infcx: &'cx InferCtxt<'cx, 'tcx>,
    span: Span,
    param_env: ParamEnv<'tcx>,
    for_universe: UniverseIndex,
    target_vid: ConstVid<'tcx>,
}

Fields

infcx: &'cx InferCtxt<'cx, 'tcx>

span: Span

param_env: ParamEnv<'tcx>

for_universe: UniverseIndex

target_vid: ConstVid<'tcx>

The vid of the const variable that is in the process of being instantiated; if we find this within the const we are folding, that means we would have created a cyclic const.

Trait Implementations

impl<'tcx> TypeRelation<'tcx> for ConstInferUnifier<'_, 'tcx>

fn tcx(&self) -> TyCtxt<'tcx>

fn param_env(&self) -> ParamEnv<'tcx>

fn tag(&self) -> &'static str

Returns a static string we can use for printouts.

fn a_is_expected(&self) -> bool

Returns true if the value a is the “expected” type in the relation. Just affects error messages.

fn relate_with_variance<T: Relate<'tcx>>(
    &mut self,
    _variance: Variance,
    a: T,
    b: T
) -> RelateResult<'tcx, T>

Switch variance for the purpose of relating a and b.

fn binders<T>(
    &mut self,
    a: Binder<'tcx, T>,
    b: Binder<'tcx, T>
) -> RelateResult<'tcx, Binder<'tcx, T>> where
    T: Relate<'tcx>, 

fn tys(&mut self, t: Ty<'tcx>, _t: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>>

fn regions(
    &mut self,
    r: Region<'tcx>,
    _r: Region<'tcx>
) -> RelateResult<'tcx, Region<'tcx>>

fn consts(
    &mut self,
    c: &'tcx Const<'tcx>,
    _c: &'tcx Const<'tcx>
) -> RelateResult<'tcx, &'tcx Const<'tcx>>

fn with_cause<F, R>(&mut self, _cause: Cause, f: F) -> R where
    F: FnOnce(&mut Self) -> R, 

fn relate<T>(&mut self, a: T, b: T) -> Result<T, TypeError<'tcx>> where
    T: Relate<'tcx>, 

Generic relation routine suitable for most anything.

fn relate_item_substs(
    &mut self,
    item_def_id: DefId,
    a_subst: &'tcx List<GenericArg<'tcx>>,
    b_subst: &'tcx List<GenericArg<'tcx>>
) -> Result<&'tcx List<GenericArg<'tcx>>, TypeError<'tcx>>

Relate the two substitutions for the given item. The default is to look up the variance for the item and proceed accordingly.