fn convert_enum_variant_types(
    tcx: TyCtxt<'_>,
    def_id: DefId,
    variants: &[Variant<'_>]
)