Struct VirtualConstraint 

pub struct VirtualConstraint {
    pub spec: ConstraintSpec,
    pub value: BoundExpr,
    pub predicate: BoundExpr,
}

One predicate offered to a module, with what it was made of.

The predicate is kept whole beside the constraint because the compiler may have to test it after all: a module that used the constraint without promising to apply it leaves the engine responsible for the answer.

Fields

spec: ConstraintSpec

The constraint as the module is shown it.

value: BoundExpr

The value on the other side, which becomes an argument to filter.

predicate: BoundExpr

The whole predicate, for the compiler to re-test when it must.

Trait Implementations

impl Clone for VirtualConstraint

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VirtualConstraint

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

Formats the value using the given formatter.

impl PartialEq for VirtualConstraint

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for VirtualConstraint