fn validate_default_attribute(
    cx: &ExtCtxt<'_>,
    default_variant: &Variant,
) -> Result<(), ErrorGuaranteed>