pub struct GenericPredicates {
    pub parent: Option<DefId>,
    pub predicates: List<Clause>,
}Fields§
§parent: Option<DefId>§predicates: List<Clause>Trait Implementations§
Source§impl Clone for GenericPredicates
 
impl Clone for GenericPredicates
Source§fn clone(&self) -> GenericPredicates
 
fn clone(&self) -> GenericPredicates
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 GenericPredicates
 
impl Debug for GenericPredicates
Source§impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for GenericPredicates
 
impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for GenericPredicates
Auto Trait Implementations§
impl Freeze for GenericPredicates
impl RefUnwindSafe for GenericPredicates
impl Send for GenericPredicates
impl Sync for GenericPredicates
impl Unpin for GenericPredicates
impl UnwindSafe for GenericPredicates
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<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