Struct rustc_mir::borrow_check::type_check::BorrowCheckContext

pub(in borrow_check::type_check) struct BorrowCheckContext<'a, 'tcx> {
    universal_regions: &'a UniversalRegions<'tcx>,
    location_table: &'a LocationTable,
    all_facts: &'a mut Option<PoloniusFacts<RustcFacts>>,
    borrow_set: &'a BorrowSet<'tcx>,
    constraints: &'a mut MirTypeckRegionConstraints<'tcx>,
    upvars: &'a [Upvar],
}

Fields

universal_regions: &'a UniversalRegions<'tcx>

location_table: &'a LocationTable

all_facts: &'a mut Option<PoloniusFacts<RustcFacts>>

borrow_set: &'a BorrowSet<'tcx>

constraints: &'a mut MirTypeckRegionConstraints<'tcx>

upvars: &'a [Upvar]