BoundNames of default exports

[GeorgNeis]

15.2.3.2 Static Semantics: BoundNames always includes "default" for a default export, even if there already is a local name for it. For instance:

BoundNames(export default function foo() {}) = {"foo", "default"}

I couldn't find a justification for that, am I missing something?

[allenwb]

It's there so that the early error checks in 15.2.1.1 that use LexicallyDeclaredNames work across all export default declarations.

However, it appears that the first two rules (when applied to export default declarations) may be redundant with rule 3 (see the note that follow the rules). If that is the case that it may be valid to eliminate the unconditional inclusion of "default" as a BoundName.

This probably needs a more careful analysis.

[allenwb]

It's there so that the early error checks in 15.2.1.1 that use LexicallyDeclaredNames work across all export default declarations.

However, it appears that the first two rules (when applied to export default declarations) may be redundant with rule 3 (see the note that follow the rules). If that is the case that it may be valid to eliminate the unconditional inclusion of "default" as a BoundName.

This probably needs a more careful analysis.