Enum SemanticConstructKind 

pub enum SemanticConstructKind {
    Source,
    Collect,
    Reduce,
    PropagateError,
    Validate,
    AcquireResource,
    ReleaseResource,
}

Closed semantic constructs that compiler helpers may report.

Variants

Source

A compiler-verified sequence consumed by a restricted explicit loop.

Collect

A compiler-verified explicit loop materialized one element per iteration.

Reduce

A compiler-verified explicit loop accumulated every sequence element.

PropagateError

Rust ? propagated an error-like value to the surrounding caller.

Validate

Rust selected a branch after checking a fallible or optional value.

AcquireResource

A compiler-confirmed standard operation acquired a tracked resource.

ReleaseResource

A lexical scope ended and released a tracked resource.

Implementations

impl SemanticConstructKind

pub const fn name(self) -> &'static str

Stable storage spelling.

pub fn parse(name: &str) -> Option<Self>

Parse the stable storage spelling.

Trait Implementations

impl Clone for SemanticConstructKind

fn clone(&self) -> SemanticConstructKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SemanticConstructKind

impl Debug for SemanticConstructKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SemanticConstructKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SemanticConstructKind

impl PartialEq for SemanticConstructKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SemanticConstructKind

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 SemanticConstructKind