Enum MutationClass 

#[non_exhaustive]
pub enum MutationClass {
    Cosmetic,
    Structural,
    Semantic,
    Lowering,
}

Frozen classification of IR-mutating passes.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Cosmetic

Renames and alias collapse only. Byte-exact output required.

Structural

Reshape without semantic change (CSE, DCE, flatten, inline). Byte-exact.

Semantic

Semantic change under a declared precondition. Requires witness proof.

Lowering

Backend lowering. Output checked against declared algebraic laws, not against byte-for-byte reference output.

Implementations

impl MutationClass

pub const fn requires_byte_parity(self) -> bool

true when the conform gate must verify byte-for-byte parity with the reference interpreter after this class of mutation.

pub const fn uses_law_proof(self) -> bool

true when the conform gate verifies declared AlgebraicLaws rather than byte-for-byte equivalence.

Trait Implementations

impl Clone for MutationClass

fn clone(&self) -> MutationClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MutationClass

impl Debug for MutationClass

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

Formats the value using the given formatter.

impl Eq for MutationClass

impl Hash for MutationClass

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MutationClass

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