ｽﾏﾝaは即値に落ちないorz
しかしfunc()が定数trueを返す関数にまで最適化されることは（func(b)呼び出しの副作用の無さをコンパイラが見切れば）有り得る