That is called an identity conversion and any identity conversion is “trivially permissible”. Sorry; I had forgotten about that. The JLS link says you can provide a cast operator for clarity: remind readers of the current type of a variable.
Jesse Silverman wrote:. . . you can happily cast any already boolean expression or variable to boolean. . . .