Struct rustc_infer::traits::solve::Goal

pub struct Goal<'tcx, P> {
    pub predicate: P,
    pub param_env: ParamEnv<'tcx>,
}

A goal is a statement, i.e. predicate, we want to prove given some assumptions, i.e. param_env.

Most of the time the param_env contains the where-bounds of the function we’re currently typechecking while the predicate is some trait bound.

Fields

predicate: P

param_env: ParamEnv<'tcx>

Trait Implementations

impl<'tcx, P> From<Obligation<'tcx, P>> for Goal<'tcx, P>

fn from(value: Obligation<'tcx, P>) -> Self

Converts to this type from the input type.

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.