Struct rustc_middle::ty::sty::CoroutineClosureArgsParts

pub struct CoroutineClosureArgsParts<'tcx> {
    pub parent_args: &'tcx [GenericArg<'tcx>],
    pub closure_kind_ty: Ty<'tcx>,
    pub signature_parts_ty: Ty<'tcx>,
    pub tupled_upvars_ty: Ty<'tcx>,
    pub coroutine_captures_by_ref_ty: Ty<'tcx>,
    pub coroutine_witness_ty: Ty<'tcx>,
}

See docs for explanation of how each argument is used.

See CoroutineClosureSignature for how these arguments are put together to make a callable FnSig suitable for typeck and borrowck.

Fields

parent_args: &'tcx [GenericArg<'tcx>]

This is the args of the typeck root.

closure_kind_ty: Ty<'tcx>

Represents the maximum calling capability of the closure.

signature_parts_ty: Ty<'tcx>

Represents all of the relevant parts of the coroutine returned by this coroutine-closure. This signature parts type will have the general shape of fn(tupled_inputs, resume_ty) -> (return_ty, yield_ty), where resume_ty, return_ty, and yield_ty are the respective types for the coroutine returned by the coroutine-closure.

Use coroutine_closure_sig to break up this type rather than using it yourself.

tupled_upvars_ty: Ty<'tcx>

The upvars captured by the closure. Remains an inference variable until the upvar analysis, which happens late in HIR typeck.

coroutine_captures_by_ref_ty: Ty<'tcx>

a function pointer that has the shape for<'env> fn() -> (&'env T, ...). This allows us to represent the binder of the self-captures of the closure.

For example, if the coroutine returned by the closure borrows String from the closure’s upvars, this will be for<'env> fn() -> (&'env String,), while the tupled_upvars_ty, representing the by-move version of the same captures, will be (String,).

coroutine_witness_ty: Ty<'tcx>

Witness type returned by the generator produced by this coroutine-closure.

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: 56 bytes