Values of path expressions

[mattheww]

§6.3:5 (fls_5ifai8nkp5ek) says

The value of a path expression is the entity that it resolved to.

But the value of an expression needs to be a member of some type in the Rust type system, not an entity.

This section needs to cover each kind of entity that a path expression can resolve to, and explain how to use it to get a value or a place.

For example:

• for a function, the value is the unique member of the corresponding function item type

• for a constant, the value is obtained by evaluating the constant initializer

• for a variable, we have a place expression representing the place in the current activation record which corresponds to that variable

I see a notion of "elaboration" is defined for constants, which seems to be what's needed here, but there's no text linking it to evaluating expressions that mention constants.

Similarly §6.3:4 (fls_cjywisyiyti6) says

The type of a path expression is the type of the entity that it resolved to.

But the section on Entities doesn't define the notion of an entity's type.