Struct chalk_solve::rust_ir::CoroutineInputOutputDatum

pub struct CoroutineInputOutputDatum<I: Interner> {
    pub resume_type: Ty<I>,
    pub yield_type: Ty<I>,
    pub return_type: Ty<I>,
    pub upvars: Vec<Ty<I>>,
}

The nested types for a coroutine. This always appears inside a CoroutineDatum

Fields

resume_type: Ty<I>

The coroutine resume type - a value of this type is supplied by the caller when resuming the coroutine. Currently, this plays no rule in goal resolution.

yield_type: Ty<I>

The coroutine yield type - a value of this type is supplied by the coroutine during a yield. Currently, this plays no role in goal resolution.

return_type: Ty<I>

The coroutine return type - a value of this type is supplied by the coroutine when it returns. Currently, this plays no role in goal resolution

upvars: Vec<Ty<I>>

The upvars stored by the coroutine. These represent types captured from the coroutine’s environment, and are stored across all yields. These types (along with the witness types) are considered ‘constituent types’ for the purposes of determining auto trait implementations - that its, a coroutine impls an auto trait A iff all of its constituent types implement A.

Trait Implementations

impl<I: Clone + Interner> Clone for CoroutineInputOutputDatum<I>

fn clone(&self) -> CoroutineInputOutputDatum<I>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<I: Debug + Interner> Debug for CoroutineInputOutputDatum<I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<I: Interner> HasInterner for CoroutineInputOutputDatum<I>

type Interner = I

The interner associated with the type.

impl<I: Hash + Interner> Hash for CoroutineInputOutputDatum<I>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<I: PartialEq + Interner> PartialEq for CoroutineInputOutputDatum<I>

fn eq(&self, other: &CoroutineInputOutputDatum<I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<I: Interner> TypeFoldable<I> for CoroutineInputOutputDatum<I>

fn try_fold_with<E>( self, folder: &mut dyn FallibleTypeFolder<I, Error = E>, outer_binder: DebruijnIndex ) -> Result<Self, E>

Apply the given folder folder to self; binders is the number of binders that are in scope when beginning the folder. Typically binders starts as 0, but is adjusted when we encounter Binders<T> in the IR or other similar constructs.

fn fold_with( self, folder: &mut dyn TypeFolder<I, Error = Infallible>, outer_binder: DebruijnIndex ) -> Self

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

impl<I: Eq + Interner> Eq for CoroutineInputOutputDatum<I>

impl<I: Interner> StructuralPartialEq for CoroutineInputOutputDatum<I>