Struct flowistry_pdg::rustc::mir::terminator::BorrowCheckResult

pub struct BorrowCheckResult<'tcx> {
    pub concrete_opaque_types: IndexMap<LocalDefId, OpaqueHiddenType<'tcx>, BuildHasherDefault<FxHasher>>,
    pub closure_requirements: Option<ClosureRegionRequirements<'tcx>>,
    pub used_mut_upvars: SmallVec<[FieldIdx; 8]>,
    pub tainted_by_errors: Option<ErrorGuaranteed>,
}

Fields

concrete_opaque_types: IndexMap<LocalDefId, OpaqueHiddenType<'tcx>, BuildHasherDefault<FxHasher>>

All the opaque types that are restricted to concrete types by this function. Unlike the value in TypeckResults, this has unerased regions.

closure_requirements: Option<ClosureRegionRequirements<'tcx>>

used_mut_upvars: SmallVec<[FieldIdx; 8]>

tainted_by_errors: Option<ErrorGuaranteed>