Struct CoroutineClosureArgsParts

pub struct CoroutineClosureArgsParts<I: Interner> {
    pub parent_args: I::GenericArgsSlice,
    pub closure_kind_ty: I::Ty,
    pub signature_parts_ty: I::Ty,
    pub tupled_upvars_ty: I::Ty,
    pub coroutine_captures_by_ref_ty: I::Ty,
    pub coroutine_witness_ty: I::Ty,
}

See docs for explanation of how each argument is used.

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

Fields

parent_args: I::GenericArgsSlice

This is the args of the typeck root.

closure_kind_ty: I::Ty

Represents the maximum calling capability of the closure.

signature_parts_ty: I::Ty

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: I::Ty

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: I::Ty

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: I::Ty

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.