From 8f59989cd5785f004b370f3380213b23a26e09fa Mon Sep 17 00:00:00 2001
From: Tobie Langel <tobie@codespeaks.com>
Date: Sun, 10 Dec 2017 22:57:03 +0100
Subject: [PATCH] Specify PropertyDescriptor of @@toStringTag symbol

---
 index.bs | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/index.bs b/index.bs
index 9a664262..27a6a14a 100644
--- a/index.bs
+++ b/index.bs
@@ -6706,15 +6706,12 @@ of objects defined in this section is {{%ObjectPrototype%}}.
 
 Some objects described in this section are defined to have a <dfn id="dfn-class-string" export>class string</dfn>,
 which is the string to include in the string returned from Object.prototype.toString.
-If an object has a class string, then the object must,
-at the time it is created, have a property whose name is the {{@@toStringTag}} symbol
-and whose value is the specified string.
 
-<p class="issue">
-    Should define whether {{@@toStringTag}} is writable, enumerable and configurable.
-    All {{@@toStringTag}} properties in the ECMAScript spec are non-writable and non-enumerable,
-    and configurable.
-</p>
+If an object has a class string |classString|, then the object must,
+at the time it is created, have a property whose name is the {{@@toStringTag}} symbol
+with PropertyDescriptor{\[[Writable]]: <emu-val>false</emu-val>,
+\[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val>,
+\[[Value]]: |classString|}.
 
 <p id="ecmascript-abstractop">
     Algorithms in this section use the conventions described in [=ECMA-262 §5.2|ECMA-262 §5.2