Struct rustc_middle::ty::CaptureInfo

pub struct CaptureInfo<'tcx> {
    pub expr_id: Option<HirId>,
    pub capture_kind: UpvarCapture<'tcx>,
}

Part of MinCaptureInformationMap; describes the capture kind (&, &mut, move) for a particular capture as well as identifying the part of the source code that triggered this capture to occur.

Fields

expr_id: Option<HirId>

Expr Id pointing to use that resulted in selecting the current capture kind

If the user doesn't enable feature capture_disjoint_fields (RFC 2229) then, it is possible that we don't see the use of a particular place resulting in expr_id being None. In such case we fallback on uvpars_mentioned for span.

Eg:

let x = 5;

let c = || {
    let _ = x
};

In this example, if capture_disjoint_fields is not set, then x will be captured, but we won't see it being used during capture analysis, since it's essentially a discard.

capture_kind: UpvarCapture<'tcx>

Capture mode that was selected

Trait Implementations

impl<'tcx> Clone for CaptureInfo<'tcx>

pub fn clone(&self) -> CaptureInfo<'tcx>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Copy for CaptureInfo<'tcx>

impl<'tcx> Debug for CaptureInfo<'tcx>

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

Formats the value using the given formatter.

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

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

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

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

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

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

impl<'tcx> PartialEq<CaptureInfo<'tcx>> for CaptureInfo<'tcx>

pub fn eq(&self, other: &CaptureInfo<'tcx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &CaptureInfo<'tcx>) -> bool

This method tests for !=.

impl<'tcx> StructuralPartialEq for CaptureInfo<'tcx>