Struct rustc_hir_typeck::inherited::Inherited
source · pub struct Inherited<'tcx> {
pub(crate) infcx: InferCtxt<'tcx>,
pub(crate) typeck_results: RefCell<TypeckResults<'tcx>>,
pub(crate) locals: RefCell<HirIdMap<Ty<'tcx>>>,
pub(crate) fulfillment_cx: RefCell<Box<dyn TraitEngine<'tcx>>>,
pub(crate) deferred_sized_obligations: RefCell<Vec<(Ty<'tcx>, Span, ObligationCauseCode<'tcx>)>>,
pub(crate) deferred_call_resolutions: RefCell<LocalDefIdMap<Vec<DeferredCallResolution<'tcx>>>>,
pub(crate) deferred_cast_checks: RefCell<Vec<CastCheck<'tcx>>>,
pub(crate) deferred_transmute_checks: RefCell<Vec<(Ty<'tcx>, Ty<'tcx>, HirId)>>,
pub(crate) deferred_asm_checks: RefCell<Vec<(&'tcx InlineAsm<'tcx>, HirId)>>,
pub(crate) deferred_generator_interiors: RefCell<Vec<(LocalDefId, BodyId, Ty<'tcx>, GeneratorKind)>>,
pub(crate) diverging_type_vars: RefCell<UnordSet<Ty<'tcx>>>,
pub(crate) infer_var_info: RefCell<UnordMap<TyVid, InferVarInfo>>,
}
Expand description
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<'tcx>
§typeck_results: RefCell<TypeckResults<'tcx>>
§locals: RefCell<HirIdMap<Ty<'tcx>>>
§fulfillment_cx: RefCell<Box<dyn TraitEngine<'tcx>>>
§deferred_sized_obligations: RefCell<Vec<(Ty<'tcx>, Span, ObligationCauseCode<'tcx>)>>
Some additional Sized
obligations badly affect type inference.
These obligations are added in a later stage of typeck.
Removing these may also cause additional complications, see #101066.
deferred_call_resolutions: RefCell<LocalDefIdMap<Vec<DeferredCallResolution<'tcx>>>>
When we process a call like c()
where c
is a closure type,
we may not have decided yet whether c
is a Fn
, FnMut
, or
FnOnce
closure. In that case, we defer full resolution of the
call until upvar inference can kick in and make the
decision. We keep these deferred resolutions grouped by the
def-id of the closure, so that once we decide, we can easily go
back and process them.
deferred_cast_checks: RefCell<Vec<CastCheck<'tcx>>>
§deferred_transmute_checks: RefCell<Vec<(Ty<'tcx>, Ty<'tcx>, HirId)>>
§deferred_asm_checks: RefCell<Vec<(&'tcx InlineAsm<'tcx>, HirId)>>
§deferred_generator_interiors: RefCell<Vec<(LocalDefId, BodyId, Ty<'tcx>, GeneratorKind)>>
§diverging_type_vars: RefCell<UnordSet<Ty<'tcx>>>
Whenever we introduce an adjustment from !
into a type variable,
we record that type variable here. This is later used to inform
fallback. See the fallback
module for details.
infer_var_info: RefCell<UnordMap<TyVid, InferVarInfo>>
Implementations§
source§impl<'tcx> Inherited<'tcx>
impl<'tcx> Inherited<'tcx>
pub fn new(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> Self
pub(crate) fn register_predicate(&self, obligation: PredicateObligation<'tcx>)
pub(crate) fn register_predicates<I>(&self, obligations: I)where I: IntoIterator<Item = PredicateObligation<'tcx>>,
pub(crate) fn register_infer_ok_obligations<T>( &self, infer_ok: InferOk<'tcx, T> ) -> T
pub fn update_infer_var_info(&self, obligation: &PredicateObligation<'tcx>)
Trait Implementations§
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for Inherited<'tcx>
impl<'tcx> !Send for Inherited<'tcx>
impl<'tcx> !Sync for Inherited<'tcx>
impl<'tcx> Unpin for Inherited<'tcx>
impl<'tcx> !UnwindSafe for Inherited<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
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: 1872 bytes