How does the compiler keep track of what variable an identifier refers to and what the type of an expression is? Is it stored in a central location, e.g.,
HirId #56 refers to
DefId #42 or something like that?
Oops, I linked to GitHub
The types are computed by