Struct ScopeBindings 

pub struct ScopeBindings {
    pub assigned: Vec<String>,
    pub needs_mut: HashSet<String>,
    pub optional: HashSet<String>,
}

The binding facts for one generated scope.

Fields

assigned: Vec<String>

Names bound by Assign statements, in first-assignment order.

needs_mut: HashSet<String>

The subset of names (assigned names and parameters) that need a mutable binding.

optional: HashSet<String>

Names assigned None on some path: they hold an Option, and every non-None store into them wraps in Some.