Struct ValidationError 

#[non_exhaustive]
pub struct ValidationError {
    pub code: ErrorCode,
    pub message: String,
    pub date: NaiveDate,
    pub context: Option<String>,
    pub note: Option<String>,
    pub span: Option<Span>,
    pub file_id: Option<u16>,
}

A validation error.

The Display impl emits just the message text (no [E1234] prefix). CLI and IDE renderers are expected to prepend the error code themselves, which avoids the double-tagging seen in older output like error[E3001]: [E3001] ... (see issue #901).

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

code: ErrorCode

Error code.

message: String

Error message.

date: NaiveDate

Date of the directive that caused the error.

context: Option<String>

Additional context.

note: Option<String>

Advisory note attached to the error — typically used to help users diagnose the underlying cause (e.g. “this directive was synthesized by a plugin”). Unlike Self::context, which describes data tied to the error, the note describes something about its origin.

span: Option<Span>

Source span (byte offsets within the file).

file_id: Option<u16>

Source file ID (index into SourceMap). Uses u16 to minimize struct size (max 65,535 files).

Implementations

impl ValidationError

pub fn new(code: ErrorCode, message: impl Into<String>, date: NaiveDate) -> Self

Create a new validation error without source location.

pub fn with_location<T>( code: ErrorCode, message: impl Into<String>, date: NaiveDate, spanned: &Spanned<T>, ) -> Self

Create a new validation error with source location from a spanned directive.

pub fn with_context(self, context: impl Into<String>) -> Self

Add context to this error.

pub fn with_note(self, note: impl Into<String>) -> Self

Attach an advisory note to this error (builder pattern).

pub const fn at_location<T>(self, spanned: &Spanned<T>) -> Self

Set the source location for this error (builder pattern).

Use this to add location info to an existing error. For creating new errors with location, prefer Self::with_location instead.

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

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.