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> Fold<I> for GeneratorWitnessExistential<I>

type Result = GeneratorWitnessExistential<I>

The type of value that will be produced once folding is done. Typically this is Self, unless Self contains borrowed values, in which case owned values are produced (for example, one can fold over a &T value where T: Fold, in which case you get back a T, not a &T).

fn fold_with<E>(
    self,
    folder: &mut dyn Folder<I, Error = E>,
    outer_binder: DebruijnIndex
) -> Result<Self::Result, 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.

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, 

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: &GeneratorWitnessExistential<I>) -> bool

This method tests for !=.

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

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

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