Struct Validated 

pub struct Validated;

Marker type for a SecurityConfig whose invariants have been checked.

Reachable only through SecurityConfig::validate. Every entry point that performs security-sensitive work — the ArchiveFormat trait and everything it calls — requires a SecurityConfig<Validated>, so an unvalidated configuration (e.g. one with max_file_size == 0) can never reach extraction, listing, or verification. The compiler enforces this; it is not a convention callers must remember to follow.

Once validated, a config’s fields can still be read (via Deref) but no longer written: DerefMut is implemented only for SecurityConfig<Unvalidated>, so cfg.max_compression_ratio = f64::NAN on a SecurityConfig<Validated> is a compile error, not a runtime invariant violation. This is what makes the typestate airtight — without it, a caller could validate a config and then mutate it back into an invalid state before passing it to ArchiveFormat::extract.

Trait Implementations

impl Clone for Validated

fn clone(&self) -> Validated

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Validated

impl Debug for Validated

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

Formats the value using the given formatter.

impl Default for Validated

fn default() -> Validated

Returns the “default value” for a type.

impl Eq for Validated

impl PartialEq for Validated

fn eq(&self, other: &Validated) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Validated