Struct SyntacticHole 

pub struct SyntacticHole {
    pub hint: Option<String>,
    pub offset: usize,
}

Represents a syntactic “hole” in the AST: a position where a term is missing.

Holes arise from incomplete expressions like _ or unresolved placeholders.

Fields

hint: Option<String>

Optional human hint about what should fill this hole.

offset: usize

Source byte offset.

Implementations

impl SyntacticHole

pub fn anonymous(offset: usize) -> Self

Create a hole without a hint.

pub fn with_hint(hint: impl Into<String>, offset: usize) -> Self

Create a hole with a hint.

pub fn has_hint(&self) -> bool

Returns true if this hole has a hint.

Trait Implementations

impl Clone for SyntacticHole

fn clone(&self) -> SyntacticHole

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SyntacticHole

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

Formats the value using the given formatter.