Enum KeyResult 

pub enum KeyResult<'a> {
    Unambiguous {
        shape: &'static Shape,
    },
    Ambiguous {
        fields: Vec<(&'a FieldInfo, u64)>,
    },
    Solved(&'a Resolution),
    Unknown,
}

Result of reporting a key to the solver.

Variants

Unambiguous

All candidates have the same type for this key. The deserializer can parse the value directly.

Fields

shape: &'static Shape

The shape all candidates expect for this field

Ambiguous

Candidates have different types for this key - need disambiguation. Deserializer should parse the value, determine which fields it can satisfy, and call satisfy() with the viable fields.

Important: When multiple fields can be satisfied by the value, pick the one with the lowest score (most specific). Scores are assigned by specificity, e.g., u8 has a lower score than u16.

Fields

fields: Vec<(&'a FieldInfo, u64)>

The unique fields across remaining candidates (deduplicated by shape), paired with a specificity score. Lower score = more specific type. Deserializer should check which of these the value can satisfy, then pick the one with the lowest score.

Solved(&'a Resolution)

This key disambiguated to exactly one configuration.

Unknown

This key doesn’t exist in any remaining candidate.

Trait Implementations

impl<'a> Debug for KeyResult<'a>

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

Formats the value using the given formatter.