Struct BorrowCheckRootCtxt

pub(crate) struct BorrowCheckRootCtxt<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    root_def_id: LocalDefId,
    concrete_opaque_types: ConcreteOpaqueTypes<'tcx>,
    nested_bodies: FxHashMap<LocalDefId, PropagatedBorrowCheckResults<'tcx>>,
    tainted_by_errors: Option<ErrorGuaranteed>,
}

The shared context used by both the root as well as all its nested items.

Fields

tcx: TyCtxt<'tcx>

root_def_id: LocalDefId

concrete_opaque_types: ConcreteOpaqueTypes<'tcx>

nested_bodies: FxHashMap<LocalDefId, PropagatedBorrowCheckResults<'tcx>>

tainted_by_errors: Option<ErrorGuaranteed>

Implementations

impl<'tcx> BorrowCheckRootCtxt<'tcx>

pub(crate) fn new( tcx: TyCtxt<'tcx>, root_def_id: LocalDefId, ) -> BorrowCheckRootCtxt<'tcx>

pub(crate) fn add_concrete_opaque_type( &mut self, def_id: LocalDefId, hidden_ty: OpaqueHiddenType<'tcx>, )

Collect all defining uses of opaque types inside of this typeck root. This expects the hidden type to be mapped to the definition parameters of the opaque and errors if we end up with distinct hidden types.

pub(crate) fn set_tainted_by_errors(&mut self, guar: ErrorGuaranteed)

pub(crate) fn get_or_insert_nested( &mut self, def_id: LocalDefId, ) -> &PropagatedBorrowCheckResults<'tcx>

pub(crate) fn closure_requirements( &mut self, nested_body_def_id: LocalDefId, ) -> &Option<ClosureRegionRequirements<'tcx>>

pub(crate) fn used_mut_upvars( &mut self, nested_body_def_id: LocalDefId, ) -> &SmallVec<[FieldIdx; 8]>

pub(crate) fn finalize( self, ) -> Result<&'tcx ConcreteOpaqueTypes<'tcx>, ErrorGuaranteed>

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