Struct Broken 

pub struct Broken {
    pub name: Name,
    pub span: NodeSpan,
    pub tpe: Option<Type>,
    pub context: Vec<Constraint>,
    pub annotation_span: NodeSpan,
}

A value declaration canonicalization rejected, recorded in Module::broken.

Fields

name: Name

span: NodeSpan

Where the declaration was written, annotation and body together.

tpe: Option<Type>

The type of the declaration’s annotation, when it has one and both that type and its context canonicalized; None when either failed.

context: Vec<Constraint>

The constraints written in front of that annotation’s =>, each resolved, in the order written; empty when tpe is None. Beside the type and not inside it, as on Value::TypedValue.

annotation_span: NodeSpan

Where that annotation was written; NodeSpan::none() when tpe is None.

Trait Implementations

impl Clone for Broken

fn clone(&self) -> Broken

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Broken

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

Formats the value using the given formatter.

impl PartialEq for Broken

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Broken