Enum rustc::middle::dataflow::KillFrom

pub enum KillFrom {
    ScopeEnd,
    Execution,
}

Unstable (rustc_private)

Flag used by add_kill to indicate whether the provided kill takes effect only when control flows directly through the node in question, or if the kill's effect is associated with any control-flow directly through or indirectly over the node.

Variants

ScopeEnd

Unstable (rustc_private)

A ScopeEnd kill is one that takes effect when any control flow goes over the node. A kill associated with the end of the scope of a variable declaration let x; is an example of a ScopeEnd kill.

Execution

Unstable (rustc_private)

An Execution kill is one that takes effect only when control flow goes through the node to completion. A kill associated with an assignment statement x = expr; is an example of an Execution kill.

Trait Implementations

Derived Implementations

impl Debug for KillFrom

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for KillFrom

fn eq(&self, __arg_0: &KillFrom) -> bool

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

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

This method tests for !=.

impl Clone for KillFrom

fn clone(&self) -> KillFrom

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for KillFrom