Allow global var-via-eval be declared

See tc39/ecma262#3226

Author: syg

test/annexB/language/eval-code/direct/script-decl-lex-collision-in-sloppy-mode.js

@@ -2,16 +2,28 @@
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 esid: sec-globaldeclarationinstantiation
-description: No let binding collision with existing var declaration due to strict-mode eval().
+description: No let binding collision with existing var declaration due to eval().
 info: |
+  In strict mode:
+
   PerformEval ( x, strictCaller, direct )
 
   [...]
   16. If direct is true, then
     a. Let lexEnv be NewDeclarativeEnvironment(runningContext's LexicalEnvironment).
   [...]
   18. If strictEval is true, set varEnv to lexEnv.
-flags: [onlyStrict]
+
+  In sloppy mode:
+
+  GlobalDeclarationInstantiation ( script, env )
+
+  [...]
+  3. For each element name of lexNames, do
+    a. If env.HasLexicalDeclaration(name) is true, throw a SyntaxError exception.
+    b. Let hasRestrictedGlobal be ? env.HasRestrictedGlobalProperty(name).
+    c. NOTE: Global var and function bindings (except those that are introduced by non-strict direct eval) are non-configurable and are therefore restricted global properties.
+    d. If hasRestrictedGlobal is true, throw a SyntaxError exception.
 ---*/
 
 eval('if (true) { function test262Fn() {} }');

test/annexB/language/eval-code/direct/script-decl-lex-no-collision-in-strict-mode.js renamed to test/annexB/language/eval-code/direct/script-decl-lex-no-collision.js

@@ -2,16 +2,28 @@
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 esid: sec-globaldeclarationinstantiation
-description: No let binding collision with existing var declaration due to strict-mode eval().
+description: No let binding collision with existing var declaration due to eval().
 info: |
+  In strict mode:
+
   PerformEval ( x, strictCaller, direct )
 
   [...]
   16. If direct is true, then
     a. Let lexEnv be NewDeclarativeEnvironment(runningContext's LexicalEnvironment).
   [...]
   18. If strictEval is true, set varEnv to lexEnv.
-flags: [onlyStrict]
+
+  In sloppy mode:
+
+  GlobalDeclarationInstantiation ( script, env )
+
+  [...]
+  3. For each element name of lexNames, do
+    a. If env.HasLexicalDeclaration(name) is true, throw a SyntaxError exception.
+    b. Let hasRestrictedGlobal be ? env.HasRestrictedGlobalProperty(name).
+    c. NOTE: Global var and function bindings (except those that are introduced by non-strict direct eval) are non-configurable and are therefore restricted global properties.
+    d. If hasRestrictedGlobal is true, throw a SyntaxError exception.
 ---*/
 
 eval('var test262Var;');