VWBE, section 8.28.15 of ECMA-367-2

     Boolean Expression rule

     A Boolean expression is valid if and only if it
     satisfies the following conditions:

        1 In the Basic_expression case, the type of the
          Basic_expression is BOOLEAN.

        2 In the Loop case, the Loop_body is of the
          All_body or Some_body form.