Enum rustc_typeck::middle::dataflow::KillFromUnstable [-] [+] [src]

pub enum KillFrom {
    ScopeEnd,
    Execution,
}

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

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

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<(), Error>

impl PartialEq<KillFrom> for KillFrom

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

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

impl Clone for KillFrom

fn clone(&self) -> KillFrom

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

impl Copy for KillFrom