hax_frontend_exporter::rustc_utils

Function get_variant_information

source
pub(crate) fn get_variant_information<'s, S: UnderOwnerState<'s>>(
    adt_def: &AdtDef<'s>,
    variant_index: VariantIdx,
    s: &S,
) -> VariantInformations