Enum miri::ProvenanceMode

pub enum ProvenanceMode {
    Default,
    Permissive,
    Strict,
}

Variants

Default

We support expose_provenance/with_exposed_provenance via “wildcard” provenance. However, we warn on with_exposed_provenance to alert the user of the precision loss.

Permissive

Like Default, but without the warning.

Strict

We error on with_exposed_provenance, ensuring no precision loss.

Trait Implementations

impl Clone for ProvenanceMode

fn clone(&self) -> ProvenanceMode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProvenanceMode

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

Formats the value using the given formatter.

impl PartialEq for ProvenanceMode

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ProvenanceMode

impl Eq for ProvenanceMode

impl StructuralPartialEq for ProvenanceMode