charon_lib::transform::remove_read_discriminant

Function generate_discr_assignment

Source
fn generate_discr_assignment(
    span: Span,
    variants: &Vector<VariantId, Variant>,
    scrutinee: &Place,
    dest: &Place,
) -> RawStatement
Expand description

Generate match _y { 0 => { _x = 0 }, 1 => { _x = 1; }, .. }.