Struct rustc_typeck::check::GeneratorTypes

pub(in check) struct GeneratorTypes<'tcx> {
    resume_ty: Ty<'tcx>,
    yield_ty: Ty<'tcx>,
    interior: Ty<'tcx>,
    movability: Movability,
}

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

Fields

resume_ty: Ty<'tcx>

Type of generator argument / values returned by yield.

yield_ty: Ty<'tcx>

Type of value that is yielded.

interior: Ty<'tcx>

Types that are captured (see GeneratorInterior for more).

movability: Movability

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