Struct rustc_middle::ty::GeneratorInteriorTypeCause

pub struct GeneratorInteriorTypeCause<'tcx> {
    pub ty: Ty<'tcx>,
    pub span: Span,
    pub scope_span: Option<Span>,
    pub yield_span: Span,
    pub expr: Option<HirId>,
}

Whenever a value may be live across a generator yield, the type of that value winds up in the GeneratorInteriorTypeCause struct. This struct adds additional information about such captured types that can be useful for diagnostics. In particular, it stores the span that caused a given type to be recorded, along with the scope that enclosed the value (which can be used to find the await that the value is live across).

For example:

async move {
    let x: T = expr;
    foo.await
    ...
}

Here, we would store the type T, the span of the value x, the "scope-span" for the scope that contains x, the expr T evaluated from, and the span of foo.await.

Fields

ty: Ty<'tcx>

Type of the captured binding.

span: Span

Span of the binding that was captured.

scope_span: Option<Span>

Span of the scope of the captured binding.

yield_span: Span

Span of .await or yield expression.

expr: Option<HirId>

Expr which the type evaluated from.

Trait Implementations

impl<'tcx> Clone for GeneratorInteriorTypeCause<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for GeneratorInteriorTypeCause<'tcx>

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

Formats the value using the given formatter.

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

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

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

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

impl<'tcx> Eq for GeneratorInteriorTypeCause<'tcx>

impl<'tcx> Hash for GeneratorInteriorTypeCause<'tcx>

pub fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

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

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

impl<'tcx> PartialEq<GeneratorInteriorTypeCause<'tcx>> for GeneratorInteriorTypeCause<'tcx>

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

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

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

This method tests for !=.

impl<'tcx> StructuralEq for GeneratorInteriorTypeCause<'tcx>

impl<'tcx> StructuralPartialEq for GeneratorInteriorTypeCause<'tcx>