Damir Shamanaev

@tnowacki I'll take this champ!

@acoglio @gluax @collinc97 @howardwu @bendyarm @Protryon Need your comments on this one.

I've unassigned myself from this issue as this is a proposal; and it's way out of current scope.

At 55f110b6b6ec0d774166d02fc549fa866e5db7e1 error has changed. It's no longer a SnarkVM issue, type inference fails to define type. ``` Done Finished in 14 milliseconds Error: --> /leo/tmp/snark/src/main.leo:4:17 | 4 | const...

More on this bug: 1. It doesn't matter if there's an `if`. This code also compiles and runs: ```rust let b = 150u8 + 150u8; console.log("TEST {}", b); // TEST...

Seems related to #542

@gluax should this one be turned into an epic?

Replacing exponentiation with multiplication like this: ```ts function main(x: i32) { for i in 0..18 { let y = x * x; } } ``` Reduces size of outputs folder...

Wasn't able to reproduce on master. It took almost an hour but no oom was spotted. ```ts Build Starting... Build Compiling main program... ("tmp/array/src/main.leo") Build Number of constraints - 5559198...

@0rphon @gluax @acoglio If this takes long but doesn't produce OOM, should we consider it a bug?