Struct rustc_trait_selection::infer::InferCtxtInner

pub struct InferCtxtInner<'tcx> {
    undo_log: InferCtxtUndoLogs<'tcx>,
    projection_cache: ProjectionCacheStorage<'tcx>,
    type_variable_storage: TypeVariableStorage<'tcx>,
    const_unification_storage: UnificationTable<InPlace<ConstVidKey<'tcx>, Vec<VarValue<ConstVidKey<'tcx>>>, ()>>,
    int_unification_storage: UnificationTable<InPlace<IntVid, Vec<VarValue<IntVid>>, ()>>,
    float_unification_storage: UnificationTable<InPlace<FloatVid, Vec<VarValue<FloatVid>>, ()>>,
    effect_unification_storage: UnificationTable<InPlace<EffectVidKey<'tcx>, Vec<VarValue<EffectVidKey<'tcx>>>, ()>>,
    region_constraint_storage: Option<RegionConstraintStorage<'tcx>>,
    region_obligations: Vec<RegionObligation<'tcx>>,
    opaque_type_storage: OpaqueTypeStorage<'tcx>,
}

This type contains all the things within InferCtxt that sit within a RefCell and are involved with taking/rolling back snapshots. Snapshot operations are hot enough that we want only one call to borrow_mut per call to start_snapshot and rollback_to.

Fields

undo_log: InferCtxtUndoLogs<'tcx>

projection_cache: ProjectionCacheStorage<'tcx>

type_variable_storage: TypeVariableStorage<'tcx>

const_unification_storage: UnificationTable<InPlace<ConstVidKey<'tcx>, Vec<VarValue<ConstVidKey<'tcx>>>, ()>>

int_unification_storage: UnificationTable<InPlace<IntVid, Vec<VarValue<IntVid>>, ()>>

float_unification_storage: UnificationTable<InPlace<FloatVid, Vec<VarValue<FloatVid>>, ()>>

effect_unification_storage: UnificationTable<InPlace<EffectVidKey<'tcx>, Vec<VarValue<EffectVidKey<'tcx>>>, ()>>

region_constraint_storage: Option<RegionConstraintStorage<'tcx>>

region_obligations: Vec<RegionObligation<'tcx>>

opaque_type_storage: OpaqueTypeStorage<'tcx>

Implementations

impl<'tcx> InferCtxtInner<'tcx>

pub fn rollback_to(&mut self, snapshot: Snapshot<'tcx>)

pub fn commit(&mut self, snapshot: Snapshot<'tcx>)

impl<'tcx> InferCtxtInner<'tcx>

pub fn region_obligations(&self) -> &[RegionObligation<'tcx>]

pub fn projection_cache(&mut self) -> ProjectionCache<'_, 'tcx>

pub fn opaque_types(&mut self) -> OpaqueTypeTable<'_, 'tcx>

pub fn unwrap_region_constraints( &mut self, ) -> RegionConstraintCollector<'_, 'tcx>

pub fn iter_opaque_types( &self, ) -> impl Iterator<Item = (OpaqueTypeKey<TyCtxt<'tcx>>, OpaqueHiddenType<'tcx>)>

Trait Implementations

impl<'tcx> Clone for InferCtxtInner<'tcx>

fn clone(&self) -> InferCtxtInner<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Rollback<UndoLog<'tcx>> for InferCtxtInner<'tcx>

The Rollback trait defines how to rollback a particular action.

fn reverse(&mut self, undo: UndoLog<'tcx>)

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: 480 bytes