Enum EnumCheckType 

enum EnumCheckType<'tcx> {
    Uninhabited,
    Direct {
        source_op: Operand<'tcx>,
        discr: TyAndSize<'tcx>,
        op_size: Size,
        valid_discrs: Vec<u128>,
    },
    WithNiche {
        source_op: Operand<'tcx>,
        discr: TyAndSize<'tcx>,
        op_size: Size,
        offset: Size,
        valid_range: WrappingRange,
    },
}

Represent the different kind of enum checks we can insert.

Variants

Uninhabited

We know we try to create an uninhabited enum from an inhabited variant.

Direct

We know the enum does no niche optimizations and can thus easily compute the valid discriminants.

Fields

source_op: Operand<'tcx>

discr: TyAndSize<'tcx>

op_size: Size

valid_discrs: Vec<u128>

WithNiche

We try to construct an enum that has a niche.

Fields

source_op: Operand<'tcx>

discr: TyAndSize<'tcx>

op_size: Size

offset: Size

valid_range: WrappingRange

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 96 bytes

Size for each variant:

• Uninhabited: 0 bytes
• Direct: 72 bytes
• WithNiche: 88 bytes