fn extract_default_variant<'a>(
    cx: &ExtCtxt<'_>,
    enum_def: &'a EnumDef,
    trait_span: Span
) -> Result<&'a Variant, ErrorGuaranteed>