Struct rustc_middle::ty::solve::inspect::CanonicalGoalEvaluationStep

pub struct CanonicalGoalEvaluationStep<I>
where
    I: Interner,
{
    pub instantiated_goal: QueryInput<I, <I as Interner>::Predicate>,
    pub evaluation: Probe<I>,
}

Fields

instantiated_goal: QueryInput<I, <I as Interner>::Predicate>

evaluation: Probe<I>

The actual evaluation of the goal, always ProbeKind::Root.

Trait Implementations

impl<'tcx> ArenaAllocatable<'tcx> for CanonicalGoalEvaluationStep<TyCtxt<'tcx>>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = Self>, ) -> &'a mut [Self]

impl<I> Debug for CanonicalGoalEvaluationStep<I>

where I: Interner,

fn fmt(&self, __f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<I> Hash for CanonicalGoalEvaluationStep<I>

where I: Interner,

fn hash<__HI>(&self, __state: &mut __HI)

where __HI: Hasher,

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<I> PartialEq for CanonicalGoalEvaluationStep<I>

where I: Interner,

fn eq(&self, other: &CanonicalGoalEvaluationStep<I>) -> bool

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

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<I> Eq for CanonicalGoalEvaluationStep<I>

where I: Interner,

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.