Struct rustc_next_trait_solver::solve::inspect::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§

§

impl Hash for GoalEvaluation
where I: Interner,

§

fn hash<HI>(&self, state: &mut HI)
where HI: 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

§

impl PartialEq for GoalEvaluation
where I: Interner,

§

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

This method tests for self and other values to be equal, and is used by ==.

1.0.0 · source§

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

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

§

impl Eq for GoalEvaluation
where I: Interner,

Auto Trait Implementations§

§

impl DynSend for GoalEvaluation
where ::ParamEnv: DynSend, ::Predicate: DynSend, ::GenericArg: DynSend, ::DefiningOpaqueTypes: DynSend, ::CanonicalVars: DynSend, ::CanonicalGoalEvaluationStepRef: DynSend, ::PredefinedOpaques: DynSend, ::ExternalConstraints: DynSend, ::GenericArgs: DynSend,

§

impl DynSync for GoalEvaluation
where ::ParamEnv: DynSync, ::Predicate: DynSync, ::GenericArg: DynSync, ::DefiningOpaqueTypes: DynSync, ::CanonicalVars: DynSync, ::CanonicalGoalEvaluationStepRef: DynSync, ::PredefinedOpaques: DynSync, ::ExternalConstraints: DynSync, ::GenericArgs: DynSync,

§

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

§

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

§

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

§

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

§

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

§

impl UnwindSafe for GoalEvaluation
where ::ParamEnv: UnwindSafe, ::Predicate: UnwindSafe, ::DefiningOpaqueTypes: UnwindSafe, ::CanonicalVars: UnwindSafe, ::CanonicalGoalEvaluationStepRef: UnwindSafe, ::GenericArg: UnwindSafe, ::PredefinedOpaques: UnwindSafe, ::ExternalConstraints: UnwindSafe, ::GenericArgs: 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 §

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

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

§

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

§

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<_>>()).

§

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> 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<T> Pointable for T

source §

const ALIGN: usize = _

The alignment of pointer.

§

type Init = T

The type for initializers.

source §

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

source §

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

source §

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

source §

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source §

impl<T> Same for T

§

type Output = T

Should always be Self

source §

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

§

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>,

§

type Error = >::Error

The type returned in the event of a conversion error.

source §

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

Performs the conversion.

§

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,

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 rustc_next_trait_solver::solve::inspect::GoalEvaluationCopy item path

Fields§

Trait Implementations§

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

fn hash<__HI>(&self, __state: &mut __HI)where __HI: 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> 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> 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<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

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<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,

Layout§

Struct rustc_next_trait_solver::solve::inspect::GoalEvaluation

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

fn hash<HI>(&self, state: &mut HI)
where HI: 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> 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>,

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

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