rustc_trait_selection::infer::canonical::ir::solve::inspect

Struct GoalEvaluation

pub struct GoalEvaluation<I>where
    I: Interner,{
    pub uncanonicalized_goal: Goal<I, <I as Interner>::Predicate>,
    pub orig_values: Vec<<I as Interner>::GenericArg>,
    pub evaluation: CanonicalGoalEvaluation<I>,
}

Expand description

When evaluating a goal we also store the original values for the CanonicalVarValues of the canonicalized goal. We use this to map any CanonicalState from the local InferCtxt of the solver query to the InferCtxt of the caller.

Fields§

§uncanonicalized_goal: Goal<I, ::Predicate>§orig_values: Vec<::GenericArg>§evaluation: CanonicalGoalEvaluation

Trait Implementations§

source §

impl Hash for GoalEvaluation
where I: Interner,

source §

fn hash<H>(&self, state: &mut H)
where H: Hasher,

Feeds this value into the given Hasher. Read more

1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more

source §

impl PartialEq for GoalEvaluation
where I: Interner,

source §

fn eq(&self, __other: &GoalEvaluation) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

source §

impl Eq for GoalEvaluation
where I: Interner,

Auto Trait Implementations§

§

impl Freeze for GoalEvaluation
where ::ParamEnv: Freeze, ::Predicate: Freeze, ::DefiningOpaqueTypes: Freeze, ::CanonicalVars: Freeze, ::PredefinedOpaques: Freeze, ::ExternalConstraints: Freeze, ::GenericArgs: Freeze, ::DefId: Freeze,

§

impl RefUnwindSafe for GoalEvaluation
where ::ParamEnv: RefUnwindSafe, ::Predicate: RefUnwindSafe, ::DefiningOpaqueTypes: RefUnwindSafe, ::CanonicalVars: RefUnwindSafe, ::GenericArg: RefUnwindSafe, ::PredefinedOpaques: RefUnwindSafe, ::ExternalConstraints: RefUnwindSafe, ::GenericArgs: RefUnwindSafe, ::DefId: RefUnwindSafe,

§

impl Send for GoalEvaluation
where ::ParamEnv: Send, ::Predicate: Send, ::DefiningOpaqueTypes: Send, ::CanonicalVars: Send, ::GenericArg: Send, ::PredefinedOpaques: Send, ::ExternalConstraints: Send, ::GenericArgs: Send, ::DefId: Send,

§

impl Sync for GoalEvaluation
where ::ParamEnv: Sync, ::Predicate: Sync, ::DefiningOpaqueTypes: Sync, ::CanonicalVars: Sync, ::GenericArg: Sync, ::PredefinedOpaques: Sync, ::ExternalConstraints: Sync, ::GenericArgs: Sync, ::DefId: Sync,

§

impl Unpin for GoalEvaluation
where ::ParamEnv: Unpin, ::Predicate: Unpin, ::DefiningOpaqueTypes: Unpin, ::CanonicalVars: Unpin, ::GenericArg: Unpin, ::PredefinedOpaques: Unpin, ::ExternalConstraints: Unpin, ::GenericArgs: Unpin, ::DefId: Unpin,

§

impl UnwindSafe for GoalEvaluation
where ::ParamEnv: UnwindSafe, ::Predicate: UnwindSafe, ::DefiningOpaqueTypes: UnwindSafe, ::CanonicalVars: UnwindSafe, ::GenericArg: UnwindSafe, ::PredefinedOpaques: UnwindSafe, ::ExternalConstraints: UnwindSafe, ::GenericArgs: UnwindSafe, ::DefId: UnwindSafe,

Blanket Implementations§

source §

impl<T> Aligned for T

source §

const ALIGN: Alignment = _

Alignment of Self.

source §

impl<T> Any for T
where T: 'static + ?Sized,

source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source §

impl<T, R> CollectAndApply<T, R> for T

source §

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

source §

type Output = R

source §

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

source §

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

source §

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

source §

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

source §

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

source §

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

source §

impl<T> Filterable for T

source §

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more

source §

impl<T> From<T> for T

source §

fn from(t: T) -> T

Returns the argument unchanged.

source §

impl<T> Instrument for T

source §

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

source §

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

source §

impl<T, U> Into for T
where U: From<T>,

source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source §

impl<T> IntoEither for T

source §

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 more

source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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

source §

impl IntoQueryParam for P

source §

fn into_query_param(self) -> P

source §

impl<T> MaybeResult<T> for T

source §

type Error = !

source §

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source §

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source §

impl<T> Same for T

source §

type Output = T

Should always be Self

source §

impl<T, U> TryFrom for T
where U: Into<T>,

source §

type Error = Infallible

The type returned in the event of a conversion error.

source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

source §

type Error = >::Error

The type returned in the event of a conversion error.

source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

source §

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

source §

fn upcast(self, interner: I) -> U

source §

impl<I, T> UpcastFrom<I, T> for T

source §

fn upcast_from(from: T, _tcx: I) -> T

source §

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source §

fn vzip(self) -> V

source §

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

source §

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T

source §

impl<T> WithSubscriber for T

source §

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

source §

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

source §

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

source §

impl<T> ErasedDestructor for T
where T: 'static,

source §

impl<T> MaybeSendSync for T

Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.

Struct GoalEvaluationCopy item path

Fields§

Trait Implementations§

impl<I> Hash for GoalEvaluation<I>where I: Interner,

fn hash<__H>(&self, __state: &mut __H)where __H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

impl<I> PartialEq for GoalEvaluation<I>where I: Interner,

fn eq(&self, __other: &GoalEvaluation<I>) -> bool

fn ne(&self, other: &Rhs) -> bool

impl<I> Eq for GoalEvaluation<I>where I: Interner,

Auto Trait Implementations§

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> AnyEq for Twhere T: Any + PartialEq,

fn equals(&self, other: &(dyn Any + 'static)) -> bool

fn as_any(&self) -> &(dyn Any + 'static)

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> Filterable for T

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> Same for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

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

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<I, T, U> Upcast<I, U> for Twhere U: UpcastFrom<I, T>,

fn upcast(self, interner: I) -> U

impl<I, T> UpcastFrom<I, T> for T

fn upcast_from(from: T, _tcx: I) -> T

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

impl<'a, T> Captures<'a> for Twhere T: ?Sized,

impl<T> ErasedDestructor for Twhere T: 'static,

impl<T> MaybeSendSync for T

Layout§

Struct GoalEvaluation

impl<I> Hash for GoalEvaluation<I>
where I: Interner,

fn hash<H>(&self, state: &mut H)
where H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

impl<I> PartialEq for GoalEvaluation<I>
where I: Interner,

impl<I> Eq for GoalEvaluation<I>
where I: Interner,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> AnyEq for T
where T: Any + PartialEq,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

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

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

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

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

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

impl<T> ErasedDestructor for T
where T: 'static,