Bad interaction between tail recursion optimization and lambdas in Java #2346
Labels
crash
Dafny crashes on this input, or generates malformed code that can not be executed
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
lang: java
Dafny's Java transpiler and its runtime
part: code-generation
Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
The following code compiles to invalid Java code:
The faulty Java code:
While waiting for a fix, affected users can add
{:tailrecursion false}
infunction method {:tailrecursion false} TailRecursive
The text was updated successfully, but these errors were encountered: