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