Stream: t-compiler/help

Topic: name resolution/typechecking


Camelid (Jun 04 2020 at 01:53, on Zulip):

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?

Camelid (Jun 04 2020 at 01:53, on Zulip):

Oops, I linked to GitHub

bjorn3 (Jun 04 2020 at 06:34, on Zulip):

The types are computed by tcx.typeck_tables_of.

Last update: Sep 28 2020 at 16:45UTC