5.4 If, Do, and While Statements

Expressions controlling ‘if’, ‘do’, and ‘while’ statements can be of any type (and not just type Boolean).