Type Alias Goal 

pub type Goal<'db, P> = Goal<DbInterner<'db>, P>;

Aliased Type

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

Fields

param_env: ParamEnv<'db>

predicate: P

Trait Implementations

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

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

Converts to this type from the input type.