diff --git a/spec.html b/spec.html
index 9f9d9ccc20c..6ad9054700a 100644
--- a/spec.html
+++ b/spec.html
@@ -7720,6 +7720,7 @@
Static Semantics: IsFunctionDefinition
RelationalExpression `>=` ShiftExpression
RelationalExpression `instanceof` ShiftExpression
RelationalExpression `in` ShiftExpression
+ PrivateIdentifier `in` ShiftExpression
EqualityExpression :
EqualityExpression `==` RelationalExpression
@@ -8468,6 +8469,7 @@ Static Semantics: AssignmentTargetType
RelationalExpression `>=` ShiftExpression
RelationalExpression `instanceof` ShiftExpression
RelationalExpression `in` ShiftExpression
+ PrivateIdentifier `in` ShiftExpression
EqualityExpression :
EqualityExpression `==` RelationalExpression
@@ -17172,6 +17174,7 @@ Syntax
RelationalExpression[?In, ?Yield, ?Await] `>=` ShiftExpression[?Yield, ?Await]
RelationalExpression[?In, ?Yield, ?Await] `instanceof` ShiftExpression[?Yield, ?Await]
[+In] RelationalExpression[+In, ?Yield, ?Await] `in` ShiftExpression[?Yield, ?Await]
+ [+In] PrivateIdentifier `in` ShiftExpression[?Yield, ?Await]
The [In] grammar parameter is needed to avoid confusing the `in` operator in a relational expression with the `in` operator in a `for` statement.
@@ -17236,6 +17239,17 @@ Runtime Semantics: Evaluation
1. If Type(_rval_) is not Object, throw a *TypeError* exception.
1. Return ? HasProperty(_rval_, ? ToPropertyKey(_lval_)).
+ RelationalExpression : PrivateIdentifier `in` ShiftExpression
+
+ 1. Let _privateIdentifier_ be the StringValue of |PrivateIdentifier|.
+ 1. Let _rref_ be the result of evaluating |ShiftExpression|.
+ 1. Let _rval_ be ? GetValue(_rref_).
+ 1. If Type(_rval_) is not Object, throw a *TypeError* exception.
+ 1. Let _privateEnv_ be the running execution context's PrivateEnvironment.
+ 1. Let _privateName_ be ! ResolvePrivateIdentifier(_privateEnv_, _privateIdentifier_).
+ 1. If ! PrivateElementFind(_privateName_, _rval_) is not ~empty~, return *true*.
+ 1. Return *false*.
+
@@ -21281,6 +21295,13 @@ Static Semantics: AllPrivateIdentifiersValid
1. Append to _newNames_ the elements of PrivateBoundIdentifiers of |ClassBody|.
1. Return AllPrivateIdentifiersValid of |ClassElementList| with argument _newNames_.
+
+ RelationalExpression : PrivateIdentifier `in` ShiftExpression
+
+ 1. If _names_ contains the StringValue of |PrivateIdentifier|, then
+ 1. Return AllPrivateIdentifiersValid of |ShiftExpression| with argument _names_.
+ 1. Return *false*.
+
@@ -22150,6 +22171,7 @@ Expression Rules
RelationalExpression `>=` ShiftExpression
RelationalExpression `instanceof` ShiftExpression
RelationalExpression `in` ShiftExpression
+ PrivateIdentifier `in` ShiftExpression
ShiftExpression :
ShiftExpression `<<` AdditiveExpression