[][src]Enum rustc::traits::EvaluationResult

pub enum EvaluationResult {
    EvaluatedToOk,
    EvaluatedToOkModuloRegions,
    EvaluatedToAmbig,
    EvaluatedToUnknown,
    EvaluatedToRecur,
    EvaluatedToErr,
}
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

The result of trait evaluation. The order is important here as the evaluation of a list is the maximum of the evaluations.

The evaluation results are ordered: - EvaluatedToOk implies EvaluatedToOkModuloRegions implies EvaluatedToAmbig implies EvaluatedToUnknown - EvaluatedToErr implies EvaluatedToRecur - the "union" of evaluation results is equal to their maximum - all the "potential success" candidates can potentially succeed, so they are noops when unioned with a definite error, and within the categories it's easy to see that the unions are correct.

Variants

EvaluatedToOk
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Evaluation successful.

EvaluatedToOkModuloRegions
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Evaluation successful, but there were unevaluated region obligations.

EvaluatedToAmbig
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Evaluation is known to be ambiguous -- it might hold for some assignment of inference variables, but it might not.

While this has the same meaning as EvaluatedToUnknown -- we can't know whether this obligation holds or not -- it is the result we would get with an empty stack, and therefore is cacheable.

EvaluatedToUnknown
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Evaluation failed because of recursion involving inference variables. We are somewhat imprecise there, so we don't actually know the real result.

This can't be trivially cached for the same reason as EvaluatedToRecur.

EvaluatedToRecur
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Evaluation failed because we encountered an obligation we are already trying to prove on this branch.

We know this branch can't be a part of a minimal proof-tree for the "root" of our cycle, because then we could cut out the recursion and maintain a valid proof tree. However, this does not mean that all the obligations on this branch do not hold -- it's possible that we entered this branch "speculatively", and that there might be some other way to prove this obligation that does not go through this cycle -- so we can't cache this as a failure.

For example, suppose we have this:

This example is not tested
pub trait Trait { fn xyz(); }
// This impl is "useless", but we can still have
// an `impl Trait for SomeUnsizedType` somewhere.
impl<T: Trait + Sized> Trait for T { fn xyz() {} }

pub fn foo<T: Trait + ?Sized>() {
    <T as Trait>::xyz();
}

When checking foo, we have to prove T: Trait. This basically translates into this:

(T: Trait + Sized →_\impl T: Trait), T: Trait ⊢ T: Trait

When we try to prove it, we first go the first option, which recurses. This shows us that the impl is "useless" -- it won't tell us that T: Trait unless it already implemented Trait by some other means. However, that does not prevent T: Trait does not hold, because of the bound (which can indeed be satisfied by SomeUnsizedType from another crate).

EvaluatedToErr
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Evaluation failed.

Methods

impl EvaluationResult[src]

pub fn must_apply_considering_regions(self) -> bool[src]

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Returns true if this evaluation result is known to apply, even considering outlives constraints.

pub fn must_apply_modulo_regions(self) -> bool[src]

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Returns true if this evaluation result is known to apply, ignoring outlives constraints.

pub fn may_apply(self) -> bool[src]

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn is_stack_dependent(self) -> bool[src]

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Trait Implementations

impl Clone for EvaluationResult[src]

impl Copy for EvaluationResult[src]

impl Debug for EvaluationResult[src]

impl Eq for EvaluationResult[src]

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for EvaluationResult[src]

impl Ord for EvaluationResult[src]

impl PartialEq<EvaluationResult> for EvaluationResult[src]

impl PartialOrd<EvaluationResult> for EvaluationResult[src]

impl StructuralEq for EvaluationResult[src]

impl StructuralPartialEq for EvaluationResult[src]

Auto Trait Implementations

impl RefUnwindSafe for EvaluationResult

impl Send for EvaluationResult

impl Sync for EvaluationResult

impl Unpin for EvaluationResult

impl UnwindSafe for EvaluationResult

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> ArenaAllocatable for T where
    T: Copy
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized
[src]

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

impl<T> Erased for T[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> MaybeResult<T> for T[src]

type Error = !

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

impl<E> SpecializationError for E[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.