Enum CanonicalValueSetViolation 

pub enum CanonicalValueSetViolation {
    Empty,
    MemberLimitExceeded {
        maximum: usize,
        first_excess_index: usize,
    },
    MixedDomain {
        expected: ValueTypeTag,
        actual: ValueTypeTag,
        member_index: usize,
    },
    Duplicate {
        first_index: usize,
        duplicate_index: usize,
    },
}

Precise validation failure for a raw @values member sequence.

Variants

Empty

No members were supplied.

MemberLimitExceeded

The raw member sequence exceeded the canonical collection ceiling.

Fields

maximum: usize

Maximum accepted raw member count.

first_excess_index: usize

Index of the first rejected raw member.

MixedDomain

One member used a different exact scalar domain.

Fields

expected: ValueTypeTag

Domain established by the first member.

actual: ValueTypeTag

Domain of the conflicting member.

member_index: usize

Index of the conflicting member.

Duplicate

One exact canonical value occurred more than once.

Fields

first_index: usize

Index of the first occurrence.

duplicate_index: usize

Index of the duplicate occurrence.

Implementations

impl CanonicalValueSetViolation

pub fn into_diagnostic(self) -> Diagnostic

Convert to the stable compatibility diagnostic returned by new.

Trait Implementations

impl Clone for CanonicalValueSetViolation

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 CanonicalValueSetViolation

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

Formats the value using the given formatter.

impl Eq for CanonicalValueSetViolation

impl PartialEq for CanonicalValueSetViolation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CanonicalValueSetViolation