switch-case-func-skip-early-err-try.js (1810B)
1 // This file was procedurally generated from the following sources: 2 // - src/annex-b-fns/func-skip-early-err-try.case 3 // - src/annex-b-fns/func/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 function scope) 6 esid: sec-web-compat-functiondeclarationinstantiation 7 flags: [generated, noStrict] 8 info: | 9 B.3.3.1 Changes to FunctionDeclarationInstantiation 10 11 [...] 12 2. If instantiatedVarNames does not contain F, then 13 a. Perform ! varEnvRec.CreateMutableBinding(F, false). 14 b. Perform varEnvRec.InitializeBinding(F, undefined). 15 c. Append F to instantiatedVarNames. 16 [...] 17 18 B.3.5 VariableStatements in Catch Blocks 19 20 [...] 21 - It is a Syntax Error if any element of the BoundNames of CatchParameter 22 also occurs in the VarDeclaredNames of Block unless CatchParameter is 23 CatchParameter:BindingIdentifier and that element is only bound by a 24 VariableStatement, the VariableDeclarationList of a for statement, or the 25 ForBinding of a for-in statement. 26 ---*/ 27 28 (function() { 29 assert.throws(ReferenceError, function() { 30 f; 31 }, 'An initialized binding is not created prior to evaluation'); 32 assert.sameValue( 33 typeof f, 34 'undefined', 35 'An uninitialized binding is not created prior to evaluation' 36 ); 37 38 try { 39 throw {}; 40 } catch ({ f }) { 41 42 switch (1) { 43 case 1: 44 function f() { } 45 } 46 47 } 48 49 assert.throws(ReferenceError, function() { 50 f; 51 }, 'An initialized binding is not created following evaluation'); 52 assert.sameValue( 53 typeof f, 54 'undefined', 55 'An uninitialized binding is not created following evaluation' 56 ); 57 }()); 58 59 reportCompare(0, 0);