Struct chalk_solve::rust_ir::GeneratorWitnessExistential

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

The generator witness types, together with existentially bound lifetimes. Each ‘witness type’ represents a type stored inside the generator across a yield. When a generator type is constructed, the precise region relationships found in the generator 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 GeneratorWitnessDatum, this Binder never gets substituted via an Ty. Instead, we handle this Binders specially when determining auto trait impls. See push_auto_trait_impls_generator_witness for more details.

Fields

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

Trait Implementations

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

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

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

Formats the value using the given formatter.

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

type Interner = I

The interner associated with the type.

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

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

impl<I: Interner> StructuralEq for GeneratorWitnessExistential<I>

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