Interaction between 'let' and name section about function-references

[rossberg]

Agreed, the name section should eventually support let.

since 'let' seems to be creating some complications, maybe it should be removed and replaced with the rule that non-defaultable locals must be (trivially) provably initialized before use.

Yeah, but that would amount to control-flow-dependent type checking. Such systems tend to create considerably more complications, and a "trivial" approximation quickly becomes wishful thinking -- there always is another useful case that somebody wants to see handled.

[RossTate]

If label types are extended to be able to specify that certain locals must be defined, that addresses all those complications.

[rossberg]

Let was removed, so this is obsolete.