Function tag_for_variant 

pub fn tag_for_variant<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: PseudoCanonicalInput<'tcx, (Ty<'tcx>, VariantIdx)>,
) -> String