Struct LoadOptions 

pub struct LoadOptions {
    pub legacy_mode: bool,
    pub strict_unknown_fields: bool,
    pub allow_ineffective_assertions: bool,
}

What a caller wants the loader to refuse, rather than merely parse.

Each field is a separate axis on purpose. strict_unknown_fields and allow_ineffective_assertions decide different things — a key the schema does not know versus an assertion that no trace could ever fail — and folding them into one flag would mean a caller who wanted one silently acquired the other.

Fields

legacy_mode: bool

Treat a v0 config as v0 rather than trusting its declared version.

strict_unknown_fields: bool

Refuse a config carrying keys this version does not understand.

allow_ineffective_assertions: bool

Accept a config whose assertions: include one that cannot fail.

Refusing is the default, and this is the escape hatch. The phased route in #1949 was warning, then opt-in, then default at a major: assay validate has warned since #1983, the opt-in landed as --deny-ineffective-assertions, and 5.0.0 is the major that carries the flip (#1949).

The polarity is inverted rather than the default being overridden, so that #[derive(Default)] still produces the intended behaviour. A deny_* field defaulting to true needs a hand-written Default, and every ..Default::default() in the tree would then depend on that impl being right. false meaning “do not allow” is the same fact with nothing to keep in sync.

Trait Implementations

impl Clone for LoadOptions

fn clone(&self) -> LoadOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LoadOptions

impl Debug for LoadOptions

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

Formats the value using the given formatter.

impl Default for LoadOptions

fn default() -> LoadOptions

Returns the “default value” for a type.