contract C { uint constant a = 1 / ((1+3)-4); } // ---- // TypeError 2271: (35-48): Built-in binary operator / cannot be applied to types int_const 1 and int_const 0.