Update

spec/1.0/live/definitions/function-definition.html

@@ -355,7 +355,7 @@ <h2 id="verifyfunctionbody"><a class="header" href="#verifyfunctionbody">VerifyF
 </li>
 <li>Else if <em>f</em> is an asynchronous function
 <ul>
-<li>Assign <code>T</code> = first type argument of <code>T</code></li>
+<li>Assign <code>T</code> = first type argument or type parameter of <code>T</code></li>
 </ul>
 </li>
 <li>Limit <em>exp</em> to <code>T</code>.</li>

spec/1.0/live/print.html

@@ -6405,7 +6405,7 @@ <h2 id="verifyfunctionbody"><a class="header" href="#verifyfunctionbody">VerifyF
 </li>
 <li>Else if <em>f</em> is an asynchronous function
 <ul>
-<li>Assign <code>T</code> = first type argument of <code>T</code></li>
+<li>Assign <code>T</code> = first type argument or type parameter of <code>T</code></li>
 </ul>
 </li>
 <li>Limit <em>exp</em> to <code>T</code>.</li>

spec/1.0/source/src/definitions/function-definition.md

@@ -233,7 +233,7 @@ The *VerifyFunctionBody*(*body*, *act*, *f*, *signature*) internal function take
   * If *f* is a generator
     * Assign `T` = `void`
   * Else if *f* is an asynchronous function
-    * Assign `T` = first type argument of `T`
+    * Assign `T` = first type argument or type parameter of `T`
   * Limit *exp* to `T`.
   * Exit scope.
 * Else if *body* contains a *Block* symbol