Enum Resolution 

pub enum Resolution {
    Found(String),
    Unresolved(String),
    Ambiguous {
        written: String,
        candidates: Vec<String>,
    },
}

What a written name denotes, once the scope has had its say.

Variants

Found(String)

Exactly one declared constant answers to the name: this absolute key.

Unresolved(String)

Nothing declared answers to it. The caller keeps the spelling the user WROTE, so an unknown global is still reported as the unknown global the user asked for and not as some mangled candidate they never typed.

Ambiguous

Two or more DIFFERENT constants answer to one short name at the same priority. Lean errors here and so do we — a resolver that picks silently changes what a proof is ABOUT, and that is the failure mode with no symptom.

Fields

written: String

candidates: Vec<String>

Trait Implementations

impl Clone for Resolution

fn clone(&self) -> Resolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Resolution

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

Formats the value using the given formatter.

impl PartialEq for Resolution

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

impl StructuralPartialEq for Resolution