Enum KeyResult 

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

Result of reporting a key to the solver.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future 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(ResolutionHandle<'a>)

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.