Struct rustc_typeck::check::inherited::Inherited

pub struct Inherited<'a, 'tcx> {
    pub(super) infcx: InferCtxt<'a, 'tcx>,
    pub(super) typeck_results: MaybeInProgressTables<'a, 'tcx>,
    pub(super) locals: RefCell<HirIdMap<LocalTy<'tcx>>>,
    pub(super) fulfillment_cx: RefCell<Box<dyn TraitEngine<'tcx>>>,
    pub(super) deferred_sized_obligations: RefCell<Vec<(Ty<'tcx>, Span, ObligationCauseCode<'tcx>)>>,
    pub(super) deferred_call_resolutions: RefCell<DefIdMap<Vec<DeferredCallResolution<'tcx>>>>,
    pub(super) deferred_cast_checks: RefCell<Vec<CastCheck<'tcx>>>,
    pub(super) deferred_generator_interiors: RefCell<Vec<(BodyId, Ty<'tcx>, GeneratorKind)>>,
    pub(super) opaque_types: RefCell<VecMap<OpaqueTypeKey<'tcx>, OpaqueTypeDecl<'tcx>>>,
    pub(super) opaque_types_vars: RefCell<FxHashMap<Ty<'tcx>, Ty<'tcx>>>,
    pub(super) body_id: Option<BodyId>,
}

Closures defined within the function. For example:

fn foo() {
    bar(move|| { ... })
}

Here, the function foo() and the closure passed to bar() will each have their own FnCtxt, but they will share the inherited fields.

Fields

infcx: InferCtxt<'a, 'tcx>

typeck_results: MaybeInProgressTables<'a, 'tcx>

locals: RefCell<HirIdMap<LocalTy<'tcx>>>

fulfillment_cx: RefCell<Box<dyn TraitEngine<'tcx>>>

deferred_sized_obligations: RefCell<Vec<(Ty<'tcx>, Span, ObligationCauseCode<'tcx>)>>

deferred_call_resolutions: RefCell<DefIdMap<Vec<DeferredCallResolution<'tcx>>>>

deferred_cast_checks: RefCell<Vec<CastCheck<'tcx>>>

deferred_generator_interiors: RefCell<Vec<(BodyId, Ty<'tcx>, GeneratorKind)>>

opaque_types: RefCell<VecMap<OpaqueTypeKey<'tcx>, OpaqueTypeDecl<'tcx>>>

opaque_types_vars: RefCell<FxHashMap<Ty<'tcx>, Ty<'tcx>>>

A map from inference variables created from opaque type instantiations (ty::Infer) to the actual opaque type (ty::Opaque). Used during fallback to map unconstrained opaque type inference variables to their corresponding opaque type.

body_id: Option<BodyId>

Implementations

impl<'tcx> Inherited<'_, 'tcx>

pub fn build(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> InheritedBuilder<'tcx>

impl<'a, 'tcx> Inherited<'a, 'tcx>

pub(super) fn new(infcx: InferCtxt<'a, 'tcx>, def_id: LocalDefId) -> Self

pub(super) fn register_predicate(&self, obligation: PredicateObligation<'tcx>)

pub(super) fn register_predicates<I>(&self, obligations: I) where
    I: IntoIterator<Item = PredicateObligation<'tcx>>, 

pub(super) fn register_infer_ok_obligations<T>(
    &self,
    infer_ok: InferOk<'tcx, T>
) -> T

pub(super) fn normalize_associated_types_in<T>(
    &self,
    span: Span,
    body_id: HirId,
    param_env: ParamEnv<'tcx>,
    value: T
) -> T where
    T: TypeFoldable<'tcx>, 

Trait Implementations

impl<'a, 'tcx> Deref for Inherited<'a, 'tcx>

type Target = InferCtxt<'a, 'tcx>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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: 984 bytes