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