Struct SwitchArm 

pub struct SwitchArm {
    pub value: u64,
    pub target: LocalBlockId,
    pub args: Vec<LocalValueId>,
}

One arm of a Switch: the scrutinee value that selects it, the block it transfers to, and that block’s parameter arguments.

Fields

value: u64

The scrutinee value this arm matches.

target: LocalBlockId

The CFG successor, a bare body-local block index — same locality rule as Branch::target.

args: Vec<LocalValueId>

Arguments passed to target’s parameters when this arm is taken.

Trait Implementations

impl Clone for SwitchArm

fn clone(&self) -> SwitchArm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SwitchArm

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SwitchArm

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SwitchArm

impl Hash for SwitchArm

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SwitchArm

fn eq(&self, other: &SwitchArm) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for SwitchArm

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SwitchArm