pub struct CoroutineObligPredicate {
pub def_id: DefId,
pub resume_ty: Ty,
pub upvar_tys: List<Ty>,
pub output: Ty,
pub args: GenericArgs,
}Fields§
§def_id: DefId§resume_ty: Ty§upvar_tys: List<Ty>§output: Ty§args: GenericArgsImplementations§
Source§impl CoroutineObligPredicate
impl CoroutineObligPredicate
pub fn to_poly_fn_sig(&self) -> PolyFnSig
Trait Implementations§
Source§impl Clone for CoroutineObligPredicate
impl Clone for CoroutineObligPredicate
Source§fn clone(&self) -> CoroutineObligPredicate
fn clone(&self) -> CoroutineObligPredicate
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for CoroutineObligPredicate
impl Debug for CoroutineObligPredicate
Source§impl Hash for CoroutineObligPredicate
impl Hash for CoroutineObligPredicate
Source§impl PartialEq for CoroutineObligPredicate
impl PartialEq for CoroutineObligPredicate
impl Eq for CoroutineObligPredicate
impl StructuralPartialEq for CoroutineObligPredicate
Auto Trait Implementations§
impl Freeze for CoroutineObligPredicate
impl RefUnwindSafe for CoroutineObligPredicate
impl Send for CoroutineObligPredicate
impl Sync for CoroutineObligPredicate
impl Unpin for CoroutineObligPredicate
impl UnwindSafe for CoroutineObligPredicate
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§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
Checks if this value is equivalent to the given key. Read more
§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
Checks if this value is equivalent to the given key. Read more
§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
Compare self to
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> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more