Struct chalk_solve::rust_ir::CoroutineWitnessExistential

pub struct CoroutineWitnessExistential<I: Interner> {
    pub types: Binders<Vec<Ty<I>>>,
}

The coroutine witness types, together with existentially bound lifetimes. Each ‘witness type’ represents a type stored inside the coroutine across a yield. When a coroutine type is constructed, the precise region relationships found in the coroutine body are erased. As a result, we are left with existential lifetimes - each type is parameterized over some lifetimes, but we do not know their precise values.

Unlike the binder in CoroutineWitnessDatum, this Binder never gets substituted via an Ty. Instead, we handle this Binders specially when determining auto trait impls. See push_auto_trait_impls_coroutine_witness for more details.

Fields

types: Binders<Vec<Ty<I>>>

Trait Implementations

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

fn clone(&self) -> CoroutineWitnessExistential<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 CoroutineWitnessExistential<I>

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

Formats the value using the given formatter.

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

type Interner = I

The interner associated with the type.

impl<I: Hash + Interner> Hash for CoroutineWitnessExistential<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 CoroutineWitnessExistential<I>

fn eq(&self, other: &CoroutineWitnessExistential<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 CoroutineWitnessExistential<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 CoroutineWitnessExistential<I>

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