Struct Context 

pub struct Context<'a> {
    pub tast: &'a Tast,
    pub types: &'a Types,
    pub target: &'a TargetInfo,
    pub names: &'a mut Interner,
    pub visibility: Visibility,
}

Everything the walk reads, which is a checked translation unit and the target it is for.

The interner is mutable because the walk invents names the program never wrote: the label a string literal is emitted under, and the mangled name of a function-scope static.

Fields

tast: &'a Tast

The typed tree.

types: &'a Types

The types it points into.

target: &'a TargetInfo

What is being compiled for, which is where every width and every alignment comes from.

names: &'a mut Interner

The name table.

visibility: Visibility

What a name that no declaration of it said anything about gets, which is -fvisibility=.

A fact about the compilation rather than about any declaration, which is why it arrives here rather than on the tree: the checker knows what was written and this knows what the command line asked for, and the answer is the first of those where there is one.

Trait Implementations

impl<'a> Debug for Context<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.