Struct GeneratedInputBudgetError 

pub struct GeneratedInputBudgetError { /* private fields */ }

Symbolic, value-free path for one generated collection-budget refusal.

Implementations

impl GeneratedInputBudgetError

pub const fn new( cause: GeneratedInputBudgetCause, collection: &'static str, index: Option<usize>, leaf: Option<&'static str>, ) -> Self

Constructs one compiler-emitted local budget refusal.

pub const fn cause(&self) -> GeneratedInputBudgetCause

Closed cause tag.

pub const fn collection(&self) -> &'static str

Symbolic collection field.

pub const fn index(&self) -> Option<usize>

Submitted element index, when the refusal identifies one element.

pub const fn leaf(&self) -> Option<&'static str>

Symbolic bounded leaf, when the refusal identifies one leaf.

Trait Implementations

impl Clone for GeneratedInputBudgetError

fn clone(&self) -> GeneratedInputBudgetError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for GeneratedInputBudgetError

impl Debug for GeneratedInputBudgetError

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

Formats the value using the given formatter.

impl Eq for GeneratedInputBudgetError

impl PartialEq for GeneratedInputBudgetError

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