Struct rustc_middle::mir::query::GeneratorLayout[][src]

pub struct GeneratorLayout<'tcx> {
    pub field_tys: IndexVec<GeneratorSavedLocal, Ty<'tcx>>,
    pub variant_fields: IndexVec<VariantIdx, IndexVec<Field, GeneratorSavedLocal>>,
    pub variant_source_info: IndexVec<VariantIdx, SourceInfo>,
    pub storage_conflicts: BitMatrix<GeneratorSavedLocal, GeneratorSavedLocal>,

The layout of generator state.


field_tys: IndexVec<GeneratorSavedLocal, Ty<'tcx>>

The type of every local stored inside the generator.

variant_fields: IndexVec<VariantIdx, IndexVec<Field, GeneratorSavedLocal>>

Which of the above fields are in each variant. Note that one field may be stored in multiple variants.

variant_source_info: IndexVec<VariantIdx, SourceInfo>

The source that led to each variant being created (usually, a yield or await).

storage_conflicts: BitMatrix<GeneratorSavedLocal, GeneratorSavedLocal>

Which saved locals are storage-live at the same time. Locals that do not have conflicts with each other are allowed to overlap in the computed layout.

Trait Implementations

impl<'tcx> Clone for GeneratorLayout<'tcx>[src]

impl Debug for GeneratorLayout<'_>[src]

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for GeneratorLayout<'tcx>[src]

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for GeneratorLayout<'tcx>[src]

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for GeneratorLayout<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for GeneratorLayout<'tcx>[src]

Auto Trait Implementations

impl<'tcx> !RefUnwindSafe for GeneratorLayout<'tcx>

impl<'tcx> !Send for GeneratorLayout<'tcx>

impl<'tcx> !Sync for GeneratorLayout<'tcx>

impl<'tcx> Unpin for GeneratorLayout<'tcx>

impl<'tcx> !UnwindSafe for GeneratorLayout<'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<'a, T> Captures<'a> for T where
    T: ?Sized

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T> MaybeResult<T> for T[src]

type Error = !

impl<'tcx, T> Subst<'tcx> for T where
    T: TypeFoldable<'tcx>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]