In the LCWD, the semantics of a FunctionTest were described as follows:

A FunctionTest may take any of the following forms:

1. function(*) matches any function itemDM30.

2. A TypedFunctionTest matches an item if it is a function itemDM30, and the function item's type signature (as defined in Section 2.8.1 Function Items DM30) is a subtype of the TypedFunctionTest.

In the latest internal working draft, these two bullet items have become items 1 and 5 in a list of example function tests (which being a list of examples, is non-normative). As a result, there is no longer any definition of the semantics of a FunctionTest.

Also, an editorial point: the relevant section (2.5.5.7) is dominated by a lengthy description of function annotations, which is likely to be of little interest to most readers. The meaning of a FunctionTest in terms of the function signature should come first; it should not be hidden away in a short paragraph at the end.