Enum Verdict 

pub enum Verdict {
    Unchanged,
    Narrowing,
    Widening,
}

How a change moved a program’s authority.

Variants

Unchanged

The head needs exactly what the base needed.

Narrowing

The head needs strictly less. Safe to apply without asking: the type checker has proved the removed authority unreachable.

Widening

The head reaches somewhere the base could not. Any widening dominates any narrowing in the same change.

Implementations

impl Verdict

pub fn as_str(self) -> &'static str

Trait Implementations

impl Clone for Verdict

fn clone(&self) -> Verdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Verdict

impl Debug for Verdict

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Verdict

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Verdict

impl PartialEq for Verdict

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Verdict

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Verdict