Enum ConstraintValuePathComponent 

pub enum ConstraintValuePathComponent {
    RootField {
        field_id: u32,
    },
    RecordMember {
        composite_type_id: u32,
        member_id: u32,
    },
    TupleElement {
        composite_type_id: u32,
        ordinal: u32,
    },
    Newtype {
        composite_type_id: u32,
    },
    EnumVariant {
        enum_type_id: u32,
        variant_id: u32,
    },
    ListElement {
        index: u32,
    },
    SetElement {
        index: u32,
    },
    MapEntryKey {
        index: u32,
    },
    MapEntryValue {
        index: u32,
    },
}

ConstraintValuePathComponent

Stable accepted identity or finite-value coordinate in one targeted-rule violation. Display names are deliberately absent so renames cannot change the diagnostic identity.

Variants

RootField

Persisted root field whose admitted value was traversed.

Fields

field_id: u32

RecordMember

Accepted record member selected by immutable composite/member identity.

Fields

composite_type_id: u32

member_id: u32

TupleElement

Tuple element selected by accepted composite identity and ordinal.

Fields

composite_type_id: u32

ordinal: u32

Newtype

Transparent accepted newtype boundary.

Fields

composite_type_id: u32

EnumVariant

Selected accepted enum variant.

Fields

enum_type_id: u32

variant_id: u32

ListElement

List element in admitted order.

Fields

index: u32

SetElement

Set element in canonical admitted order.

Fields

index: u32

MapEntryKey

Map key in canonical entry order.

Fields

index: u32

MapEntryValue

Map value in canonical entry order.

Fields

index: u32

Trait Implementations

impl CandidType for ConstraintValuePathComponent

fn _ty() -> Type

fn _ty_doc() -> TypeDoc

fn id() -> TypeId

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

where __S: Serializer,

fn ty() -> Type

impl Clone for ConstraintValuePathComponent

fn clone(&self) -> ConstraintValuePathComponent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ConstraintValuePathComponent

impl Debug for ConstraintValuePathComponent

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConstraintValuePathComponent

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ConstraintValuePathComponent

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

Formats the value using the given formatter.

impl Eq for ConstraintValuePathComponent

impl PartialEq for ConstraintValuePathComponent

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ConstraintValuePathComponent