pub enum BoogieErrorKind {
Assertion,
Inconclusive,
Inconsistency,
Internal,
}
Expand description
Kind of boogie error.
Variants§
Trait Implementations§
source§impl Clone for BoogieErrorKind
impl Clone for BoogieErrorKind
source§fn clone(&self) -> BoogieErrorKind
fn clone(&self) -> BoogieErrorKind
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 PartialEq<BoogieErrorKind> for BoogieErrorKind
impl PartialEq<BoogieErrorKind> for BoogieErrorKind
source§fn eq(&self, other: &BoogieErrorKind) -> bool
fn eq(&self, other: &BoogieErrorKind) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Copy for BoogieErrorKind
impl Eq for BoogieErrorKind
impl StructuralEq for BoogieErrorKind
impl StructuralPartialEq for BoogieErrorKind
Auto Trait Implementations§
impl RefUnwindSafe for BoogieErrorKind
impl Send for BoogieErrorKind
impl Sync for BoogieErrorKind
impl Unpin for BoogieErrorKind
impl UnwindSafe for BoogieErrorKind
Blanket Implementations§
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.