Enum SemanticIssue

pub enum SemanticIssue {
    RuntimeBindingUnavailable {
        name: String,
    },
    KnownNameNotMetaValue {
        name: String,
        kind: ResolvedName,
    },
    MetaTypeMismatch {
        expected: String,
        actual: String,
    },
}

Pre-expansion semantic issue discovered before meta expansion.

Variants

RuntimeBindingUnavailable

Runtime binding used directly in meta evaluation.

Fields

name: String

Binding name referenced from meta code.

KnownNameNotMetaValue

Known non-meta symbol used as if it were a meta value.

Fields

name: String

Symbol name referenced from meta code.

kind: ResolvedName

Resolved symbol category.

MetaTypeMismatch

Statically known meta-type mismatch.

Fields

expected: String

Expected meta-visible type.

actual: String

Best-known actual meta-visible type.

Trait Implementations

impl Clone for SemanticIssue

fn clone(&self) -> SemanticIssue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticIssue

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

Formats the value using the given formatter.

impl PartialEq for SemanticIssue

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SemanticIssue

impl StructuralPartialEq for SemanticIssue