Enum SynthesizableClosureViolationKind 

pub enum SynthesizableClosureViolationKind {
    Heap,
    RuntimeCaptureState,
    Impure,
}

Kind of SynthesizableClosure constraint breach (FR74 / Cap-R-48…50).

Distinct from FR16 [ElaborateSession::reject_unsynthesizable] (rhdl::E0141) and hardware-ref capture [ElaborateSession::reject_hw_capture] (rhdl::E0142).

Variants

Heap

Heap allocation in closure body / environment (Cap-R-48) → rhdl::E0143.

RuntimeCaptureState

Runtime (non-const) capture state (Cap-R-49) → rhdl::E0144.

Impure

Impure / side-effecting body (Cap-R-50) → rhdl::E0145.

Implementations

impl SynthesizableClosureViolationKind

pub fn code(self) -> &'static str

Trait Implementations

impl Clone for SynthesizableClosureViolationKind

fn clone(&self) -> SynthesizableClosureViolationKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SynthesizableClosureViolationKind

impl Debug for SynthesizableClosureViolationKind

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

Formats the value using the given formatter.

impl Eq for SynthesizableClosureViolationKind

impl PartialEq for SynthesizableClosureViolationKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SynthesizableClosureViolationKind