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