void main() {
    do {} while (float2(1));
}

/*%%*
expected 'bool', but found 'float2'
*%%*/