pub fn analyze<'m>(message: &'m Message<'_>) -> Analysis<'m>Expand description
Analyzes message.
Scope follows the declarations: a reference is local if a .local of
that name comes before it (a declaration’s own expression does not see
the variable it binds). For a valid message this is the same as “every
referenced name that no .local declares”.