Warning: Cannot prove that 'arg1k' is initialized. This will become a compile time error in the future. [ProveInit]

[Benjamin-Lee]

I'm getting the following error:

/Users/BenjaminLee/.nimble/pkgs/nimpy-0.1.0/nimpy.nim(972, 32) Warning: Cannot prove that 'arg1k' is initialized. This will become a compile time error in the future. [ProveInit]

This is the offending line:

nimpy/nimpy.nim

Line 972 in e0c2ad5

let argIdent = newIdentNode("arg" & $a.idx & $a.name)

Do you have any idea what's going on here?

[yglukhov]

Not sure. Are you using enums that don't have a zero value as arguments?

[Benjamin-Lee]

@Pebaz can you take a look at this? I'm not using any enums in my code at all, but I'm compiling for Python through Nimporter so he might be, though I couldn't find any by searching the repo.

[yglukhov]

I'll need some steps to reproduce, can't help otherwise.

[yglukhov]

nimporter issue was fixed by suppressing the warning. I still believe the issue might be in nimpy, but anyways it is unlikely to cause any troubles in real life. I'm closing this, but I'm still mildly interested in a reproducible sample.