Struct rustc_trait_selection::traits::solve::inspect::GoalEvaluation

pub struct GoalEvaluation<'tcx> {
    pub uncanonicalized_goal: Goal<'tcx, Predicate<'tcx>>,
    pub canonicalized_goal: Canonical<'tcx, QueryInput<'tcx, Predicate<'tcx>>>,
    pub kind: GoalEvaluationKind<'tcx>,
    pub is_normalizes_to_hack: IsNormalizesToHack,
    pub returned_goals: Vec<Goal<'tcx, Predicate<'tcx>>, Global>,
    pub result: Result<Canonical<'tcx, Response<'tcx>>, NoSolution>,
}

Fields

uncanonicalized_goal: Goal<'tcx, Predicate<'tcx>>

canonicalized_goal: Canonical<'tcx, QueryInput<'tcx, Predicate<'tcx>>>

kind: GoalEvaluationKind<'tcx>

is_normalizes_to_hack: IsNormalizesToHack

returned_goals: Vec<Goal<'tcx, Predicate<'tcx>>, Global>

result: Result<Canonical<'tcx, Response<'tcx>>, NoSolution>

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:160 bytes