diagnostic message style code is a valid Unicode variation s

Error message

diagnostic message style code is a valid Unicode variation selector

What it means

message_style_code packs a foreground color and highlight attributes into a Unicode variation selector: char::from_u32(MESSAGE_STYLE_CODE_BASE + foreground + MESSAGE_FOREGROUND_COUNT * attributes). The expect asserts the computed scalar is a valid char. Given the constants (small foreground/attribute counts), the result always stays below the Unicode scalar maximum, so it can only fail if the constants change.

Source

Thrown at baml_language/crates/baml_compiler_diagnostics/src/render.rs:688

    };
    let mut attributes = 0;
    if style.attributes.contains(HighlightAttributes::BOLD) {
        attributes |= 1;
    }
    if style.attributes.contains(HighlightAttributes::DIM) {
        attributes |= 2;
    }
    if style.attributes.contains(HighlightAttributes::ITALIC) {
        attributes |= 4;
    }
    if style
        .attributes
        .contains(HighlightAttributes::STRIKETHROUGH)
    {
        attributes |= 8;
    }
    char::from_u32(MESSAGE_STYLE_CODE_BASE + foreground + MESSAGE_FOREGROUND_COUNT * attributes)
        .expect("diagnostic message style code is a valid Unicode variation selector")
}

fn message_style(code: char) -> Option<OwoStyle> {
    let value = u32::from(code).checked_sub(MESSAGE_STYLE_CODE_BASE)?;
    if value >= MESSAGE_FOREGROUND_COUNT * MESSAGE_ATTRIBUTE_COUNT {
        return None;
    }
    let foreground = match value % MESSAGE_FOREGROUND_COUNT {
        0 => None,
        1 => Some(HighlightColor::Green),
        2 => Some(HighlightColor::Yellow),
        3 => Some(HighlightColor::Magenta),
        4 => Some(HighlightColor::Cyan),
        5 => Some(HighlightColor::BrightYellow),
        6 => Some(HighlightColor::BrightBlue),
        7 => Some(HighlightColor::BrightMagenta),
        8 => Some(HighlightColor::BrightCyan),
        _ => unreachable!(),

View on GitHub (pinned to bd85ce9dee)

Solutions

Keep MESSAGE_FOREGROUND_COUNT * MESSAGE_ATTRIBUTE_COUNT small enough that BASE + max index is a valid scalar; add a compile-time or unit-test assertion.
If adding attributes/colors, recompute the encoding bounds and update the decoder (message_style) consistently.
Replace expect with a const-checked computation or debug_assert plus graceful fallback.

Example fix

// before
char::from_u32(MESSAGE_STYLE_CODE_BASE + foreground + MESSAGE_FOREGROUND_COUNT * attributes)
    .expect("diagnostic message style code is a valid Unicode variation selector")
// after
const _: () = assert!(
    MESSAGE_STYLE_CODE_BASE + MESSAGE_FOREGROUND_COUNT * MESSAGE_ATTRIBUTE_COUNT <= 0x10FFFF,
    "style code encoding exceeds Unicode scalar range"
);

Defensive patterns

Strategy: validation

Validate before calling

const _: () = assert!(
    MESSAGE_STYLE_CODE_BASE + MESSAGE_FOREGROUND_COUNT * MESSAGE_ATTRIBUTE_COUNT <= 0x10FFFF,
    "style encoding exceeds Unicode scalar range"
);

Try / catch

// Prefer compile-time assertions; a runtime fallback: if from_u32 returns None, render unstyled.

Prevention

Never raise MESSAGE_FOREGROUND_COUNT or attribute bits without recomputing encoding bounds.
Add a unit test that round-trips every style code through message_style.
Keep attribute count a power of two and document the bit layout.

When it happens

Trigger: Only if MESSAGE_STYLE_CODE_BASE, MESSAGE_FOREGROUND_COUNT, or the attribute bitmask is edited so the sum exceeds 0x10FFFF (or lands in a surrogate range) — then from_u32 returns None and this panics when marked_message styles a message.

Common situations: A maintainer raises the number of supported foreground colors or adds attribute bits (e.g. a ninth attribute) without re-basing the variation-selector encoding.

Understand the failure class

Background: "value must be between 0 and 1" / "out of range" / "must not be negative" errors: fixing range-validation failures across open-source libraries — this error's family across 42 libraries.

Related errors

AI-assisted analysis of BoundaryML/baml@bd85ce9dee (2026-09-12). Data as JSON: /api/errors/238e5f7edec58a09. Report an issue: GitHub.