pub enum MaybeCause {
Ambiguity,
Overflow {
suggest_increasing_limit: bool,
},
}
Expand description
Why we failed to evaluate a goal.
Variants§
Ambiguity
We failed due to ambiguity. This ambiguity can either
be a true ambiguity, i.e. there are multiple different answers,
or we hit a case where we just don’t bother, e.g. ?x: Trait
goals.
Overflow
We gave up due to an overflow, most often by hitting the recursion limit.
Implementations§
Source§impl MaybeCause
impl MaybeCause
fn unify_with(self, other: MaybeCause) -> MaybeCause
Trait Implementations§
Source§impl Clone for MaybeCause
impl Clone for MaybeCause
Source§fn clone(&self) -> MaybeCause
fn clone(&self) -> MaybeCause
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 MaybeCause
impl Debug for MaybeCause
Source§impl Hash for MaybeCause
impl Hash for MaybeCause
Source§impl<__CTX> HashStable<__CTX> for MaybeCause
impl<__CTX> HashStable<__CTX> for MaybeCause
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
Source§impl PartialEq for MaybeCause
impl PartialEq for MaybeCause
impl Copy for MaybeCause
impl Eq for MaybeCause
impl StructuralPartialEq for MaybeCause
Auto Trait Implementations§
impl DynSend for MaybeCause
impl DynSync for MaybeCause
impl Freeze for MaybeCause
impl RefUnwindSafe for MaybeCause
impl Send for MaybeCause
impl Sync for MaybeCause
impl Unpin for MaybeCause
impl UnwindSafe for MaybeCause
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, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
Ambiguity
: 0 bytesOverflow
: 1 byte