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