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
Keyboard shortcuts
- ?
- Show this help dialog
- S
- Focus the search field
- ⇤
- Move up in search results
- ⇥
- Move down in search results
- ⏎
- Go to active search result
Search tricks
Prefix searches with a type followed by a colon (e.g.
fn:
) to restrict the search to a given type.
Accepted types are: fn
, mod
,
struct
, enum
,
trait
, typedef
(or
tdef
).