Editorial: more explicit handling of [[PromiseResult]] (#3491)

spec.html

@@ -47758,6 +47758,7 @@ <h1>Promise ( _executor_ )</h1>
           1. If IsCallable(_executor_) is *false*, throw a *TypeError* exception.
           1. Let _promise_ be ? OrdinaryCreateFromConstructor(NewTarget, *"%Promise.prototype%"*, « [[PromiseState]], [[PromiseResult]], [[PromiseFulfillReactions]], [[PromiseRejectReactions]], [[PromiseIsHandled]] »).
           1. Set _promise_.[[PromiseState]] to ~pending~.
+          1. Set _promise_.[[PromiseResult]] to ~empty~.
           1. Set _promise_.[[PromiseFulfillReactions]] to a new empty List.
           1. Set _promise_.[[PromiseRejectReactions]] to a new empty List.
           1. Set _promise_.[[PromiseIsHandled]] to *false*.
@@ -48388,10 +48389,10 @@ <h1>Properties of Promise Instances</h1>
               [[PromiseResult]]
             </td>
             <td>
-              an ECMAScript language value
+              an ECMAScript language value or ~empty~
             </td>
             <td>
-              The value with which the promise has been fulfilled or rejected, if any. Only meaningful if [[PromiseState]] is not ~pending~.
+              The value with which the promise has been fulfilled or rejected, if any. ~empty~ if and only if the [[PromiseState]] is ~pending~.
             </td>
           </tr>
           <tr>