Regression test for the compiler, which used to have wrong
assumptions on what could be of a boolean type.