Enum ScalarSafetySubject 

pub enum ScalarSafetySubject {
    Value(ValueFactId),
    Owns(OwnsFactId),
}

Scalar annotation subject that can be represented by the assertion algebra.

Variants

Value(ValueFactId)

Every instance of one attribute value declaration.

Owns(OwnsFactId)

Values reached through one exact effective ownership.

Trait Implementations

impl Clone for ScalarSafetySubject

fn clone(&self) -> ScalarSafetySubject

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScalarSafetySubject

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

Formats the value using the given formatter.

impl Eq for ScalarSafetySubject

impl PartialEq for ScalarSafetySubject

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ScalarSafetySubject

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ScalarSafetySubject