Enum rustc_mir::transform::simplify_try::StatementEquality

pub(in transform::simplify_try) enum StatementEquality {
    TrivialEqual,
    ConsideredEqual(BasicBlock),
    NotEqual,
}

Variants

TrivialEqual

The two statements are trivially equal; same kind

ConsideredEqual(BasicBlock)

The two statements are considered equal, but may be of different kinds. The BasicBlock field is the basic block to jump to when performing the branch-same optimization. For example, _0 = _1 and discriminant(_0) = discriminant(0) are considered equal if 0 is a fieldless variant of an enum. But we don't want to jump to the basic block with the SetDiscriminant, as that is not legal if _1 is not the 0 variant index

NotEqual

The two statements are not equal

Implementations

impl StatementEquality

pub(in transform::simplify_try) fn combine(
    &self,
    other: &StatementEquality
) -> StatementEquality

Trait Implementations

impl Clone for StatementEquality

pub fn clone(&self) -> StatementEquality

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for StatementEquality

impl Eq for StatementEquality

impl PartialEq<StatementEquality> for StatementEquality

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for StatementEquality

impl StructuralPartialEq for StatementEquality