Mod operation fails on integer literals without type annotation

[gwdjkspnado]

Description

The % operator cannot be applied to integer constants without explicit type annotation.

Environment

• Zokrates Compiler version: 0.8.7
• Operating system: Ubuntu 22.04.2 LTS

Steps to Reproduce

Minimal code to reproduce the issue

def main() {
    u32 a = 2 % 1;
}

Compile with zokrates compile -i mod.zok, you would get the following error:

Compiling mod.zok

Compilation failed:

mod.zok:2:13
        Cannot apply `%` to {integer}, {integer}

If you explicitly specify the types of the integer constants, the error would be gone:

def main() {
    u32 a = 2u32 % 1u32;
}