Struct SynthesizableClosureViolation 

pub struct SynthesizableClosureViolation {
    pub kind: SynthesizableClosureViolationKind,
    pub detail: String,
}

Documented SynthesizableClosure violation token (Story 28.1 / Cap-R-60).

Pass to [ElaborateSession::reject_unsynthesizable_closure] / [ElaborateSession::check_synthesizable_closure]. Empty violation list = legal empty/simple closure.

Fields

kind: SynthesizableClosureViolationKind

detail: String

Implementations

impl SynthesizableClosureViolation

pub fn heap(detail: impl Into<String>) -> Self

pub fn runtime_capture_state(detail: impl Into<String>) -> Self

pub fn impure(detail: impl Into<String>) -> Self

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

Trait Implementations

impl Clone for SynthesizableClosureViolation

fn clone(&self) -> SynthesizableClosureViolation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SynthesizableClosureViolation

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

Formats the value using the given formatter.

impl Eq for SynthesizableClosureViolation

impl PartialEq for SynthesizableClosureViolation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SynthesizableClosureViolation