Mention key<never>

Part of #47.
ballerina-platform · Apr 1, 2020 · 7cb8b89 · 7cb8b89
1 parent 2bcd3e1
commit 7cb8b89
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lang/spec.html b/lang/spec.html
@@ -1582,7 +1582,8 @@ <h4 id="tables">Tables</h4>
 <code>key(<var>ks</var>)</code> if and only if its key sequence is
 <code><var>ks</var></code>. A table shape satisfies a key-constraint
 <code>key&lt;K&gt;</code> if and and only if its set of key value shapes are a
-subset of <code><var>K</var></code>.
+subset of <code><var>K</var></code>. The shape of a keyless table satisfies the
+key-constraint <code>key&lt;never</code>.
 </p>
 <p>
 As with other structured values, a table value has an inherent type. The