Struct rustc_infer::infer::combine::ConstInferUnifier

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

Fields

infcx: &'cx InferCtxt<'tcx>

span: Span

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> FallibleTypeFolder<TyCtxt<'tcx>> for ConstInferUnifier<'_, 'tcx>

type Error = TypeError<'tcx>

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

fn try_fold_ty(&mut self, t: Ty<'tcx>) -> Result<Ty<'tcx>, TypeError<'tcx>>

fn try_fold_region( &mut self, r: Region<'tcx> ) -> Result<Region<'tcx>, TypeError<'tcx>>

fn try_fold_const( &mut self, c: Const<'tcx> ) -> Result<Const<'tcx>, TypeError<'tcx>>

fn try_fold_binder<T>( &mut self, t: <I as Interner>::Binder<T> ) -> Result<<I as Interner>::Binder<T>, Self::Error>where T: TypeFoldable<I>, <I as Interner>::Binder<T>: TypeSuperFoldable<I>,

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes