1 2 3 4 5
contract C { uint[3/0] ids; } // ---- // TypeError 6020: (22-25): Operator / not compatible with types int_const 3 and int_const 0