Enum CoercionDecision

pub enum CoercionDecision {
    Denied,
    Allowed {
        exact: bool,
        check: CheckPolicy,
        materialization: MaterializationPolicy,
    },
}

Coercion decision returned by the normalized compatibility table.

Variants

Denied

Source and destination are incompatible.

Allowed

Source and destination are compatible.

Fields

exact: bool

Whether both normalized types are identical.

check: CheckPolicy

Runtime check requirement for this coercion.

materialization: MaterializationPolicy

Materialization requirement for this coercion.

Implementations

impl CoercionDecision

pub fn is_allowed(&self) -> bool

Return whether this coercion is accepted.

pub fn requires_runtime_check(&self) -> bool

Return whether this coercion requires a runtime check.

pub fn requires_materialization(&self) -> bool

Return whether this coercion requires representation materialization.

Trait Implementations

impl Clone for CoercionDecision

fn clone(&self) -> CoercionDecision

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CoercionDecision

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

Formats the value using the given formatter.

impl PartialEq for CoercionDecision

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

impl StructuralPartialEq for CoercionDecision