Enum chalk_parse::ast::LeafGoal

pub enum LeafGoal {
    DomainGoal {
        goal: DomainGoal,
    },
    UnifyGenericArgs {
        a: GenericArg,
        b: GenericArg,
    },
    SubtypeGenericArgs {
        a: Ty,
        b: Ty,
    },
}

Variants

DomainGoal

Fields

goal: DomainGoal

UnifyGenericArgs

Fields

a: GenericArg

b: GenericArg

SubtypeGenericArgs

Fields

a: Ty

b: Ty

Trait Implementations

impl Clone for LeafGoal

fn clone(&self) -> LeafGoal

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LeafGoal

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

Formats the value using the given formatter.

impl PartialEq for LeafGoal

fn eq(&self, other: &LeafGoal) -> 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 Eq for LeafGoal

impl StructuralPartialEq for LeafGoal