Struct Refusal 

pub struct Refusal {
    pub message: String,
    pub at: Option<Span>,
}

Why the bytecode compiler refused a program, and — when the refusal is about something the author wrote — where they wrote it.

at is a span in the parsed program’s coordinates, attached where the refusal is DECIDED: the element, handler, route or page the message names. A limit of the compiler itself (the register or constant pools, nesting depth) was caused by no single construct and carries None. Every surface renders the location from here rather than recovering it from the message.

Fields

message: String

at: Option<Span>

Implementations

impl Refusal

pub fn at(span: Span, message: impl Into<String>) -> Self

A refusal about the construct the author wrote at span.

pub fn into_message(self) -> String

The sentence alone, for a caller that reports text.

Trait Implementations

impl Clone for Refusal

fn clone(&self) -> Refusal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Refusal

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

Formats the value using the given formatter.

impl Display for Refusal

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

Formats the value using the given formatter.

impl From<Refusal> for ParseError

A refusal as the diagnostic every source-pointing surface already renders: the message, at the construct’s span. A span-less refusal reports at the start of the program, the one place a program-wide limit can be said to be.

fn from(r: Refusal) -> Self

Converts to this type from the input type.

impl From<String> for Refusal

fn from(message: String) -> Self

Converts to this type from the input type.

impl PartialEq for Refusal

fn eq(&self, other: &Refusal) -> 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 Refusal

impl StructuralPartialEq for Refusal