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