Struct rustc_middle::mir::terminator::BorrowCheckResult

pub struct BorrowCheckResult<'tcx> {
    pub concrete_opaque_types: FxHashMap<DefId, ResolvedOpaqueTy<'tcx>>,
    pub closure_requirements: Option<ClosureRegionRequirements<'tcx>>,
    pub used_mut_upvars: SmallVec<[Field; 8]>,
}

Fields

concrete_opaque_types: FxHashMap<DefId, ResolvedOpaqueTy<'tcx>>

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<[Field; 8]>

Trait Implementations

impl<'tcx> ArenaAllocatable<'tcx, BorrowCheckResult<'tcx>> for BorrowCheckResult<'tcx>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> Debug for BorrowCheckResult<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, D: TyDecoder<'tcx>> Decodable<D> for &'tcx BorrowCheckResult<'tcx>

fn decode(decoder: &mut D) -> Result<Self, D::Error>

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for BorrowCheckResult<'tcx>

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

impl<'tcx, E: TyEncoder<'tcx>> Encodable<E> for &'tcx BorrowCheckResult<'tcx>

fn encode(&self, e: &mut E) -> Result<(), E::Error>

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for BorrowCheckResult<'tcx>

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for BorrowCheckResult<'tcx>

fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

impl<'tcx, D: TyDecoder<'tcx>> RefDecodable<'tcx, D> for BorrowCheckResult<'tcx>

fn decode(decoder: &mut D) -> Result<&'tcx Self, D::Error>