[−][src]Struct chalk_solve::rust_ir::GeneratorWitnessExistential
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>[src]
fn clone(&self) -> GeneratorWitnessExistential<I>[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<I: Debug + Interner> Debug for GeneratorWitnessExistential<I>[src]
impl<I: Eq + Interner> Eq for GeneratorWitnessExistential<I>[src]
impl<I: Interner, _TI> Fold<I, _TI> for GeneratorWitnessExistential<I> where
_TI: TargetInterner<I>, [src]
_TI: TargetInterner<I>,
type Result = GeneratorWitnessExistential<_TI>
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). Read more
fn fold_with<'i>(
&self,
folder: &mut dyn Folder<'i, I, _TI>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
_TI: 'i, [src]
&self,
folder: &mut dyn Folder<'i, I, _TI>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
_TI: 'i,
impl<I: Interner> HasInterner for GeneratorWitnessExistential<I>[src]
type Interner = I
The interner associated with the type.
impl<I: Hash + Interner> Hash for GeneratorWitnessExistential<I>[src]
fn hash<__H: Hasher>(&self, state: &mut __H)[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher, 1.3.0[src]
H: Hasher,
impl<I: PartialEq + Interner> PartialEq<GeneratorWitnessExistential<I>> for GeneratorWitnessExistential<I>[src]
fn eq(&self, other: &GeneratorWitnessExistential<I>) -> bool[src]
fn ne(&self, other: &GeneratorWitnessExistential<I>) -> bool[src]
impl<I: Interner> StructuralEq for GeneratorWitnessExistential<I>[src]
impl<I: Interner> StructuralPartialEq for GeneratorWitnessExistential<I>[src]
Auto Trait Implementations
impl<I> RefUnwindSafe for GeneratorWitnessExistential<I> where
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::InternedVariableKinds: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::InternedVariableKinds: RefUnwindSafe,
impl<I> Send for GeneratorWitnessExistential<I> where
<I as Interner>::InternedType: Send,
<I as Interner>::InternedVariableKinds: Send,
<I as Interner>::InternedType: Send,
<I as Interner>::InternedVariableKinds: Send,
impl<I> Sync for GeneratorWitnessExistential<I> where
<I as Interner>::InternedType: Sync,
<I as Interner>::InternedVariableKinds: Sync,
<I as Interner>::InternedType: Sync,
<I as Interner>::InternedVariableKinds: Sync,
impl<I> Unpin for GeneratorWitnessExistential<I> where
<I as Interner>::InternedType: Unpin,
<I as Interner>::InternedVariableKinds: Unpin,
<I as Interner>::InternedType: Unpin,
<I as Interner>::InternedVariableKinds: Unpin,
impl<I> UnwindSafe for GeneratorWitnessExistential<I> where
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::InternedVariableKinds: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::InternedVariableKinds: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Cast for T[src]
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner, [src]
Self: CastTo<U>,
U: HasInterner,
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized, [src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
pub fn equivalent(&self, key: &K) -> bool[src]
impl<T> From<T> for T[src]
impl<T> Instrument for T[src]
fn instrument(self, span: Span) -> Instrumented<Self>[src]
fn in_current_span(self) -> Instrumented<Self>[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, I> Shift<I> for T where
I: Interner,
T: Fold<I, I>, [src]
I: Interner,
T: Fold<I, I>,
pub fn shifted_in(&self, interner: &I) -> <T as Fold<I, I>>::Result[src]
pub fn shifted_in_from(
&self,
interner: &I,
source_binder: DebruijnIndex
) -> <T as Fold<I, I>>::Result[src]
&self,
interner: &I,
source_binder: DebruijnIndex
) -> <T as Fold<I, I>>::Result
pub fn shifted_out_to(
&self,
interner: &I,
target_binder: DebruijnIndex
) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]
&self,
interner: &I,
target_binder: DebruijnIndex
) -> Result<<T as Fold<I, I>>::Result, NoSolution>
pub fn shifted_out(
&self,
interner: &I
) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]
&self,
interner: &I
) -> Result<<T as Fold<I, I>>::Result, NoSolution>
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn clone_into(&self, target: &mut T)[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,