mirror of
				https://github.com/tc39/test262.git
				synced 2025-11-02 20:53:50 +01:00 
			
		
		
		
	Add tests that assert the management of the running execution context's LexicalEnvironment and VariableEnvironment components, as created by the following abstract operations: - NewDeclarativeEnvironment - NewObjectEnvironment - NewFunctionEnvironment Many tests require the use of non-strict direct eval, meaning they may not be run in strict mode. This does not effect coverage because the semantics in these cases are not observable from strict mode code. Some situations require the creation of a binding, but this binding has no relevance to the test itself. In these cases, use names consisting solely of the underscore character (`_`). Avoid the use of Block statements wherever possible, as these trigger the creation of additional environments which may interfere with the behavior under test.
		
			
				
	
	
		
			41 lines
		
	
	
		
			1.3 KiB
		
	
	
	
		
			JavaScript
		
	
	
	
	
	
			
		
		
	
	
			41 lines
		
	
	
		
			1.3 KiB
		
	
	
	
		
			JavaScript
		
	
	
	
	
	
// Copyright (C) 2016 the V8 project authors. All rights reserved.
 | 
						|
// This code is governed by the BSD license found in the LICENSE file.
 | 
						|
/*---
 | 
						|
esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation
 | 
						|
description: >
 | 
						|
    Removal of lexical environment for the initial evaluation of the statement
 | 
						|
    body
 | 
						|
info: |
 | 
						|
    IterationStatement : for ( ForDeclaration of AssignmentExpression ) Statement
 | 
						|
 | 
						|
    [...]
 | 
						|
    2. Return ? ForIn/OfBodyEvaluation(ForDeclaration, Statement, keyResult,
 | 
						|
       lexicalBinding, labelSet).
 | 
						|
 | 
						|
    13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation
 | 
						|
 | 
						|
    [...]
 | 
						|
    5. Repeat
 | 
						|
       [...]
 | 
						|
       i. Let result be the result of evaluating stmt.
 | 
						|
       j. Set the running execution context's LexicalEnvironment to oldEnv.
 | 
						|
       k. If LoopContinues(result, labelSet) is false, return ?
 | 
						|
          IteratorClose(iterator, UpdateEmpty(result, V)).
 | 
						|
       l. If result.[[Value]] is not empty, let V be result.[[Value]].
 | 
						|
features: [let]
 | 
						|
---*/
 | 
						|
 | 
						|
let x = 'outside';
 | 
						|
var probeDecl, probeBody;
 | 
						|
 | 
						|
for (
 | 
						|
    let [x, _ = probeDecl = function() { return x; }]
 | 
						|
    in
 | 
						|
    { i: 0 }
 | 
						|
  )
 | 
						|
  probeBody = function() { return x; };
 | 
						|
 | 
						|
assert.sameValue(probeDecl(), 'i', 'reference from ForDeclaration');
 | 
						|
assert.sameValue(probeBody(), 'i', 'reference from statement body');
 | 
						|
assert.sameValue(x, 'outside');
 |