Struct rustc_mir::transform::early_otherwise_branch::SwitchDiscriminantInfo

struct SwitchDiscriminantInfo<'tcx> {
    discr_ty: Ty<'tcx>,
    otherwise_bb: BasicBlock,
    targets_with_values: Vec<(u128, BasicBlock)>,
    discr_source_info: SourceInfo,
    discr_used_in_switch: Place<'tcx>,
    place_of_adt_discr_read: Place<'tcx>,
    type_adt_matched_on: Ty<'tcx>,
}

Fields

discr_ty: Ty<'tcx>

Type of the discriminant being switched on

otherwise_bb: BasicBlock

The basic block that the otherwise branch points to

targets_with_values: Vec<(u128, BasicBlock)>

Target along with the value being branched from. Otherwise is not included

discr_source_info: SourceInfo

discr_used_in_switch: Place<'tcx>

The place of the discriminant used in the switch

place_of_adt_discr_read: Place<'tcx>

The place of the adt that has its discriminant read

type_adt_matched_on: Ty<'tcx>

The type of the adt that has its discriminant read

Trait Implementations

impl<'tcx> Clone for SwitchDiscriminantInfo<'tcx>

fn clone(&self) -> SwitchDiscriminantInfo<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for SwitchDiscriminantInfo<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.