Skip to content

Commit

Permalink
Editorial: fix an invariant for [[GetOwnProperty]] (#3254)
Browse files Browse the repository at this point in the history
  • Loading branch information
bakkot authored and ljharb committed Feb 14, 2024
1 parent 197f124 commit 84f6234
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -3110,7 +3110,7 @@ <h2>[[GetOwnProperty]] ( _P_ )</h2>
If _P_ is described as a non-configurable, non-writable own data property, all future calls to [[GetOwnProperty]] ( _P_ ) must return Property Descriptor whose [[Value]] is SameValue as _P_'s [[Value]] attribute.
</li>
<li>
If _P_'s attributes other than [[Writable]] may change over time or if the property might be deleted, then _P_'s [[Configurable]] attribute must be *true*.
If _P_'s attributes other than [[Writable]] and [[Value]] may change over time, or if the property might be deleted, then _P_'s [[Configurable]] attribute must be *true*.
</li>
<li>
If the [[Writable]] attribute may change from *false* to *true*, then the [[Configurable]] attribute must be *true*.
Expand Down

0 comments on commit 84f6234

Please sign in to comment.