diff --git a/test/language/statements/for-in/head-let-destructuring.js b/test/language/statements/for-in/head-let-destructuring.js
new file mode 100644
index 0000000000000000000000000000000000000000..604d80e95bdc75cb765819e3e231a34889769419
--- /dev/null
+++ b/test/language/statements/for-in/head-let-destructuring.js
@@ -0,0 +1,31 @@
+// 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-iteration-statements
+es6id: 13.7
+description: >
+  The token sequence `let [`is interpreted as the beginning of a destructuring
+  binding pattern
+info: |
+  Syntax
+
+  IterationStatement[Yield, Return]:
+
+    for ( [lookahead ∉ { let [ } ] LeftHandSideExpression[?Yield] in
+      Expression[+In, ?Yield] ) Statement[?Yield, ?Return]
+
+    for ( ForDeclaration[?Yield] in Expression[+In, ?Yield] )
+      Statement[?Yield, ?Return]
+---*/
+
+var obj = Object.create(null);
+var value;
+
+obj.key = 1;
+
+for ( let[x] in obj ) {
+  value = x;
+}
+
+assert.sameValue(typeof x, 'undefined', 'binding is block-scoped');
+assert.sameValue(value, 'k');
diff --git a/test/language/statements/for-in/head-lhs-let.js b/test/language/statements/for-in/head-lhs-let.js
new file mode 100644
index 0000000000000000000000000000000000000000..80294a11dc15e5c9dec2bf9eb0d49f11e2124a36
--- /dev/null
+++ b/test/language/statements/for-in/head-lhs-let.js
@@ -0,0 +1,38 @@
+// 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-iteration-statements
+es6id: 13.7
+description: >
+  The `let` token is interpreted as an Identifier when it is not followed by a
+  `[` token
+info: |
+  Syntax
+
+  IterationStatement[Yield, Return]:
+
+    for ( [lookahead ∉ { let [ } ] LeftHandSideExpression[?Yield] in
+      Expression[+In, ?Yield] ) Statement[?Yield, ?Return]
+
+    for ( ForDeclaration[?Yield] in Expression[+In, ?Yield] )
+      Statement[?Yield, ?Return]
+flags: [noStrict]
+---*/
+
+var obj = Object.create(null);
+var let, value;
+
+obj.key = 1;
+
+for ( let in obj ) ;
+
+assert.sameValue(let, 'key', 'IdentifierReference');
+
+Object.defineProperty(Array.prototype, '1', {
+  set: function(param) {
+    value = param;
+  }
+});
+for ( [let][1] in obj ) ;
+
+assert.sameValue(value, 'key', 'MemberExpression');
diff --git a/test/language/statements/for-of/head-let-destructuring.js b/test/language/statements/for-of/head-let-destructuring.js
new file mode 100644
index 0000000000000000000000000000000000000000..66c93ad94699d114d6a01a94196bda633a4199c7
--- /dev/null
+++ b/test/language/statements/for-of/head-let-destructuring.js
@@ -0,0 +1,28 @@
+// 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
+es6id: 13.7.5
+description: >
+  The token sequence `let [`is interpreted as the beginning of a destructuring
+  binding pattern
+info: |
+  Syntax
+
+  IterationStatement[Yield, Return]:
+
+    for ( [lookahead ≠ let]LeftHandSideExpression[?Yield] of
+      AssignmentExpression[+In, ?Yield] ) Statement[?Yield, ?Return]
+
+    for ( ForDeclaration[?Yield] of AssignmentExpression[+In, ?Yield] )
+      Statement[?Yield, ?Return]
+---*/
+
+var value;
+
+for ( let[x] of [[34]] ) {
+  value = x;
+}
+
+assert.sameValue(typeof x, 'undefined', 'binding is block-scoped');
+assert.sameValue(value, 34);
diff --git a/test/language/statements/for-of/head-lhs-let.js b/test/language/statements/for-of/head-lhs-let.js
new file mode 100644
index 0000000000000000000000000000000000000000..8c3e0fe2f651c7a726190e9ee1f2053c662fbddb
--- /dev/null
+++ b/test/language/statements/for-of/head-lhs-let.js
@@ -0,0 +1,21 @@
+// 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
+es6id: 13.7.5
+description: >
+  The `let` token is disallowed when not followed by a `[` token
+info: |
+  Syntax
+
+  IterationStatement[Yield, Return]:
+
+    for ( [lookahead ≠ let]LeftHandSideExpression[?Yield] of
+      AssignmentExpression[+In, ?Yield] ) Statement[?Yield, ?Return]
+
+    for ( ForDeclaration[?Yield] of AssignmentExpression[+In, ?Yield] )
+      Statement[?Yield, ?Return]
+negative: SyntaxError
+---*/
+
+for ( let of [] ) ;
diff --git a/test/language/statements/for/head-let-destructuring.js b/test/language/statements/for/head-let-destructuring.js
new file mode 100644
index 0000000000000000000000000000000000000000..283f6285ae14e7a385db1acb0396d358585fd462
--- /dev/null
+++ b/test/language/statements/for/head-let-destructuring.js
@@ -0,0 +1,30 @@
+// 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-iteration-statements
+es6id: 13.7
+description: >
+  The token sequence `let [`is interpreted as the beginning of a destructuring
+  binding pattern
+info: |
+  Syntax
+
+  IterationStatement[Yield, Return]:
+
+    for ( [lookahead ∉ { let [ } ] Expression[~In, ?Yield]opt ;
+      Expression[+In, ?Yield]opt ; Expression[+In, ?Yield]opt )
+      Statement[?Yield, ?Return]
+
+    for ( LexicalDeclaration[~In, ?Yield] Expression[+In, ?Yield]opt ;
+      Expression[+In, ?Yield]opt) Statement[?Yield, ?Return]
+---*/
+
+var value;
+
+for ( let[x] = [23]; ; ) {
+  value = x;
+  break;
+}
+
+assert.sameValue(typeof x, 'undefined', 'binding is block-scoped');
+assert.sameValue(value, 23);
diff --git a/test/language/statements/for/head-lhs-let.js b/test/language/statements/for/head-lhs-let.js
new file mode 100644
index 0000000000000000000000000000000000000000..cd705ec107f8507fb2ae06db78ed801c9faccae5
--- /dev/null
+++ b/test/language/statements/for/head-lhs-let.js
@@ -0,0 +1,41 @@
+// 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-iteration-statements
+es6id: 13.7
+description: >
+  The `let` token is interpreted as an Identifier when it is not followed by a
+  `[` token
+info: |
+  Syntax
+
+  IterationStatement[Yield, Return]:
+
+    for ( [lookahead ∉ { let [ } ] Expression[~In, ?Yield]opt ;
+      Expression[+In, ?Yield]opt ; Expression[+In, ?Yield]opt )
+      Statement[?Yield, ?Return]
+
+    for ( LexicalDeclaration[~In, ?Yield] Expression[+In, ?Yield]opt ;
+      Expression[+In, ?Yield]opt) Statement[?Yield, ?Return]
+flags: [noStrict]
+---*/
+
+var let;
+
+let = 1;
+for ( let; ; )
+  break;
+
+assert.sameValue(let, 1, 'IdentifierReference');
+
+let = 2;
+for ( let = 3; ; )
+  break;
+
+assert.sameValue(let, 3, 'AssignmentExpression');
+
+let = 4;
+for ( [let][0]; ; )
+  break;
+
+assert.sameValue(let, 4, 'MemberExpression');