Struct chalk_solve::rust_ir::CoroutineInputOutputDatum
source · 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>>,
}
Expand description
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§
source§impl<I: Clone + Interner> Clone for CoroutineInputOutputDatum<I>
impl<I: Clone + Interner> Clone for CoroutineInputOutputDatum<I>
source§fn clone(&self) -> CoroutineInputOutputDatum<I>
fn clone(&self) -> CoroutineInputOutputDatum<I>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<I: Interner> HasInterner for CoroutineInputOutputDatum<I>
impl<I: Interner> HasInterner for CoroutineInputOutputDatum<I>
source§impl<I: PartialEq + Interner> PartialEq for CoroutineInputOutputDatum<I>
impl<I: PartialEq + Interner> PartialEq for CoroutineInputOutputDatum<I>
source§fn eq(&self, other: &CoroutineInputOutputDatum<I>) -> bool
fn eq(&self, other: &CoroutineInputOutputDatum<I>) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl<I: Interner> TypeFoldable<I> for CoroutineInputOutputDatum<I>
impl<I: Interner> TypeFoldable<I> for CoroutineInputOutputDatum<I>
source§fn try_fold_with<E>(
self,
folder: &mut dyn FallibleTypeFolder<I, Error = E>,
outer_binder: DebruijnIndex,
) -> Result<Self, E>
fn try_fold_with<E>( self, folder: &mut dyn FallibleTypeFolder<I, Error = E>, outer_binder: DebruijnIndex, ) -> Result<Self, E>
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.source§fn fold_with(
self,
folder: &mut dyn TypeFolder<I, Error = Infallible>,
outer_binder: DebruijnIndex,
) -> Self
fn fold_with( self, folder: &mut dyn TypeFolder<I, Error = Infallible>, outer_binder: DebruijnIndex, ) -> Self
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>
Auto Trait Implementations§
impl<I> Freeze for CoroutineInputOutputDatum<I>
impl<I> RefUnwindSafe for CoroutineInputOutputDatum<I>
impl<I> Send for CoroutineInputOutputDatum<I>
impl<I> Sync for CoroutineInputOutputDatum<I>
impl<I> Unpin for CoroutineInputOutputDatum<I>
impl<I> UnwindSafe for CoroutineInputOutputDatum<I>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
U
using CastTo
.source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T, I> Shift<I> for Twhere
T: TypeFoldable<I>,
I: Interner,
impl<T, I> Shift<I> for Twhere
T: TypeFoldable<I>,
I: Interner,
source§fn shifted_in(self, interner: I) -> T
fn shifted_in(self, interner: I) -> T
source§fn shifted_in_from(self, interner: I, source_binder: DebruijnIndex) -> T
fn shifted_in_from(self, interner: I, source_binder: DebruijnIndex) -> T
outer_binder
so that it is
valid at the innermost binder. See DebruijnIndex::shifted_in_from
for a detailed explanation.source§fn shifted_out_to(
self,
interner: I,
target_binder: DebruijnIndex,
) -> Result<T, NoSolution>
fn shifted_out_to( self, interner: I, target_binder: DebruijnIndex, ) -> Result<T, NoSolution>
outer_binder
. See DebruijnIndex::shifted_out_to
for a detailed explanation.