switch-case-global-skip-early-err-try.js (1691B)
1 // This file was procedurally generated from the following sources: 2 // - src/annex-b-fns/global-skip-early-err-try.case 3 // - src/annex-b-fns/global/switch-case.template 4 /*--- 5 description: Extension is observed when creation of variable binding would not produce an early error (try statement) (Function declaration in the `case` clause of a `switch` statement in the global scope) 6 esid: sec-web-compat-globaldeclarationinstantiation 7 flags: [generated, noStrict] 8 info: | 9 B.3.3.2 Changes to GlobalDeclarationInstantiation 10 11 [...] 12 b. If replacing the FunctionDeclaration f with a VariableStatement that has 13 F as a BindingIdentifier would not produce any Early Errors for script, 14 then 15 [...] 16 17 B.3.5 VariableStatements in Catch Blocks 18 19 [...] 20 - It is a Syntax Error if any element of the BoundNames of CatchParameter 21 also occurs in the VarDeclaredNames of Block unless CatchParameter is 22 CatchParameter:BindingIdentifier and that element is only bound by a 23 VariableStatement, the VariableDeclarationList of a for statement, or the 24 ForBinding of a for-in statement. 25 ---*/ 26 assert.throws(ReferenceError, function() { 27 f; 28 }, 'An initialized binding is not created prior to evaluation'); 29 assert.sameValue( 30 typeof f, 31 'undefined', 32 'An uninitialized binding is not created prior to evaluation' 33 ); 34 35 try { 36 throw {}; 37 } catch ({ f }) { 38 39 switch (1) { 40 case 1: 41 function f() { } 42 } 43 44 } 45 46 assert.throws(ReferenceError, function() { 47 f; 48 }, 'An initialized binding is not created following evaluation'); 49 assert.sameValue( 50 typeof f, 51 'undefined', 52 'An uninitialized binding is not created following evaluation' 53 ); 54 55 reportCompare(0, 0);