Enum rustc_mir::transform::simplify_try::StatementEquality

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

fn combine(&self, other: &StatementEquality) -> StatementEquality

Trait Implementations

impl Clone for StatementEquality

fn clone(&self) -> StatementEquality

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<StatementEquality> for StatementEquality

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

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

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

This method tests for !=.

impl Copy for StatementEquality

impl Eq for StatementEquality

impl StructuralEq for StatementEquality

impl StructuralPartialEq for StatementEquality