Enum CompilerError 

#[non_exhaustive]
pub enum CompilerError {
    Symbol(SymbolError),
    Witness(WitnessError),
    WitnessAssert(AssertionError),
    Lean {
        theorem: String,
        detail: String,
    },
    Io {
        path: String,
        source: Error,
    },
    Render(DocsError),
    Attribute {
        directive: &'static str,
        reason: String,
    },
}

Why a build failed. Every directive failure names its source.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Symbol(SymbolError)

An include-symbol fence failed (unknown file, unresolvable symbol, parse error) — the inner error carries the details.

Witness(WitnessError)

A witness fence failed execution or its assertions did not hold.

WitnessAssert(AssertionError)

A witness fence’s declared assertions did not match the run.

Lean

A lean-check fence failed: the kernel rejected the file, or the proof is not real (sorry), or the certificate went stale.

Fields

theorem: String

The theorem named by the fence.

detail: String

What went wrong, for diagnosis.

Io

A fenced directive named a file that does not exist or could not be read.

Fields

path: String

The path as named in the fence (relative to the build root).

source: Error

The underlying error.

Render(DocsError)

Markdown rendering failed after directive resolution.

Attribute

A fence attribute was missing or malformed.

Fields

directive: &'static str

The directive kind.

reason: String

What was wrong.

Trait Implementations

impl Debug for CompilerError

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

Formats the value using the given formatter.

impl Display for CompilerError

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

Formats the value using the given formatter.

impl Error for CompilerError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.