Enum VerifyErrorKind 

pub enum VerifyErrorKind {
    DuplicateResultId(u32),
    DanglingResultRef {
        operand_pos: usize,
        ref_id: u32,
    },
    LiteralPoolOutOfRange {
        operand_pos: usize,
        pool_idx: u32,
        pool_size: usize,
    },
    ChildBodyIndexOutOfRange {
        operand_pos: usize,
        body_idx: u32,
        child_count: usize,
    },
    LiteralOpMissingPoolOperand,
    OperandCountTooShort {
        expected_min: usize,
        got: usize,
    },
    DispatchZeroDim {
        axis: u8,
    },
    DuplicateBindingSlotId {
        slot: u32,
    },
    HostBindingInWorkgroupRange {
        slot: u32,
    },
    WorkgroupBindingInHostRange {
        slot: u32,
    },
}

Variants

DuplicateResultId(u32)

DanglingResultRef

Fields

operand_pos: usize

ref_id: u32

LiteralPoolOutOfRange

Fields

operand_pos: usize

pool_idx: u32

pool_size: usize

ChildBodyIndexOutOfRange

Fields

operand_pos: usize

body_idx: u32

child_count: usize

LiteralOpMissingPoolOperand

OperandCountTooShort

Fields

expected_min: usize

got: usize

DispatchZeroDim

dispatch.workgroup_size[axis] is zero. A kernel with a zero dim never runs - almost certainly a host-side bug.

Fields

axis: u8

DuplicateBindingSlotId

Two BindingSlot entries share the same .slot field. The emitters look up bindings by .slot; duplicates make the lookup ambiguous.

Fields

slot: u32

HostBindingInWorkgroupRange

A host-bound binding (Global / Constant / Uniform) sits in the workgroup-reserved slot range (>= 1<<24). Backend bind-group layouts cap at 1000 bindings on wgpu and similar limits elsewhere; a host slot in the reserved range fails layout creation with a “binding index N greater than maximum” validator error. Earlier rewrites should have allocated the new slot in the host range.

Fields

slot: u32

WorkgroupBindingInHostRange

A workgroup binding (Shared / Scratch) sits in the host-bindable slot range (< 1<<24). The host dispatch path addresses host bindings by slot id; a workgroup binding in that range can collide with a Global binding’s slot id and silently steer load/store ops to the wrong memory class.

Fields

slot: u32

Trait Implementations

impl Clone for VerifyErrorKind

fn clone(&self) -> VerifyErrorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyErrorKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifyErrorKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for VerifyErrorKind

impl PartialEq for VerifyErrorKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for VerifyErrorKind

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 VerifyErrorKind