pub enum FixpointQueryKind {
Impl,
Body,
Invariant,
}
Expand description
The different reasons we issue fixpoint queries. This is used to dissambiguate queries that are issued for the same item.
NOTE: This is defined here because it’s also used in timings
Variants§
Impl
Query issued when checking an impl method is a subtype of the trait
Body
Query issued to check the body of a function
Invariant
Query issued to check an (enum) invariant is implied by the type definition
Implementations§
Trait Implementations§
Source§impl Clone for FixpointQueryKind
impl Clone for FixpointQueryKind
Source§fn clone(&self) -> FixpointQueryKind
fn clone(&self) -> FixpointQueryKind
Returns a copy 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 FixpointQueryKind
impl Debug for FixpointQueryKind
Source§impl Hash for FixpointQueryKind
impl Hash for FixpointQueryKind
impl Copy for FixpointQueryKind
Auto Trait Implementations§
impl Freeze for FixpointQueryKind
impl RefUnwindSafe for FixpointQueryKind
impl Send for FixpointQueryKind
impl Sync for FixpointQueryKind
impl Unpin for FixpointQueryKind
impl UnwindSafe for FixpointQueryKind
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,
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