Struct Mismatch 

pub struct Mismatch {
    pub path: String,
    pub expected: HostType,
    pub found: String,
}

Where a value stopped agreeing with the type declared for it, and what was found there instead.

The disagreement is reported where it happens rather than at the top of the value: an operation declaring Result<Array<String>, Error> that answers Ok([3]) disagrees at one element, and saying which one is the difference between a diagnostic the host’s author can act on and one that says only that the two do not match. Nothing here is built until a value fails, so the path costs a run that never fails nothing at all.

Fields

path: String

How the offending part is reached from the whole value, such as Ok(_)[0]. Empty when the value itself, rather than something nested inside it, is the disagreement.

expected: HostType

The type declared at that point.

found: String

What was found there, named the way a diagnostic names a value.

Implementations

impl Mismatch

pub fn describe(&self, shown: &str, part: Part) -> String

The disagreement, phrased for a diagnostic about the operation shown names.

Trait Implementations

impl Clone for Mismatch

fn clone(&self) -> Mismatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Mismatch

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

Formats the value using the given formatter.

impl Eq for Mismatch

impl PartialEq for Mismatch

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