flowistry_pdg::rustc::mir

Struct CoroutineLayout

pub struct CoroutineLayout<'tcx> {
    pub field_tys: IndexVec<CoroutineSavedLocal, CoroutineSavedTy<'tcx>>,
    pub field_names: IndexVec<CoroutineSavedLocal, Option<Symbol>>,
    pub variant_fields: IndexVec<VariantIdx, IndexVec<FieldIdx, CoroutineSavedLocal>>,
    pub variant_source_info: IndexVec<VariantIdx, SourceInfo>,
    pub storage_conflicts: BitMatrix<CoroutineSavedLocal, CoroutineSavedLocal>,
}

Expand description

The layout of coroutine state.

Fields§

§field_tys: IndexVec<CoroutineSavedLocal, CoroutineSavedTy<'tcx>>

The type of every local stored inside the coroutine.

§field_names: IndexVec<CoroutineSavedLocal, Option<Symbol>>

The name for debuginfo.

§variant_fields: IndexVec<VariantIdx, IndexVec<FieldIdx, CoroutineSavedLocal>>

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<CoroutineSavedLocal, CoroutineSavedLocal>

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.

Auto Trait Implementations§

impl<'tcx> Freeze for CoroutineLayout<'tcx>

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

impl<'tcx> Send for CoroutineLayout<'tcx>

impl<'tcx> Sync for CoroutineLayout<'tcx>

impl<'tcx> Unpin for CoroutineLayout<'tcx>

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

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dst. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

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.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.