pub(crate) fn variants(
    genv: GlobalEnv<'_, '_>,
    variants: &[PolyVariant],
    adt_def_id: MaybeExternId,
) -> QueryResult<Vec<PolyVariant>>pub(crate) fn variants(
    genv: GlobalEnv<'_, '_>,
    variants: &[PolyVariant],
    adt_def_id: MaybeExternId,
) -> QueryResult<Vec<PolyVariant>>