Trait SSAEnvironment 

pub trait SSAEnvironment {
    // Required methods
    fn add_variable_scope(&mut self);
    fn remove_variable_scope(&mut self);
}

An environment used to track variable versions across a CFG.

Required Methods

fn add_variable_scope(&mut self)

Enter variable scope.

fn remove_variable_scope(&mut self)

Leave variable scope.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors