Struct rustc_hir_typeck::CoroutineTypes

pub(crate) struct CoroutineTypes<'tcx> {
    pub(crate) resume_ty: Ty<'tcx>,
    pub(crate) yield_ty: Ty<'tcx>,
    pub(crate) interior: Ty<'tcx>,
    pub(crate) movability: Movability,
}

When check_fn is invoked on a coroutine (i.e., a body that includes yield), it returns back some information about the yield points.

Fields

resume_ty: Ty<'tcx>

Type of coroutine argument / values returned by yield.

yield_ty: Ty<'tcx>

Type of value that is yielded.

interior: Ty<'tcx>

Types that are captured (see CoroutineInterior for more).

movability: Movability

Indicates if the coroutine is movable or static (immovable).

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes