Use variable in instanceof-type-designator

Author: nikic

spec/10-expressions.md

@@ -2230,7 +2230,7 @@ instanceof-subject:
 
 instanceof-type-designator:
  qualified-name
- expression
+ variable
 -->
 
 <pre>
@@ -2243,13 +2243,14 @@ instanceof-type-designator:
 
 <i id="grammar-instanceof-type-designator">instanceof-type-designator:</i>
  <i><a href="09-lexical-structure.md#grammar-qualified-name">qualified-name</a></i>
- <i><a href="#grammar-expression">expression</a></i>
+ <i><a href="#grammar-variable">variable</a></i>
 </pre>
 
 **Constraints**
 
-The *expression* in *instanceof-type-designator* and *instanceof-subject* must not be any form of
-literal.
+The *expression* in *instanceof-subject* must not be any form of literal.
+
+The *variable* in *instanceof-type-designator* must not contain calls.
 
 **Semantics**
 

spec/19-grammar.md

@@ -599,7 +599,7 @@ The grammar notation is described in [Grammars section](09-lexical-structure.md#
 
 <i id="grammar-instanceof-type-designator">instanceof-type-designator:</i>
  <i><a href="#grammar-qualified-name">qualified-name</a></i>
- <i><a href="#grammar-expression">expression</a></i>
+ <i><a href="#grammar-variable">variable</a></i>
 
 <i id="grammar-multiplicative-expression">multiplicative-expression:</i>
  <i><a href="#grammar-instanceof-expression">instanceof-expression</a></i>