fix: Reference the correct this after removing the tail call of a function or method#5474
Merged
fabiomadge merged 8 commits intodafny-lang:masterfrom fabiomadge:fix_4684May 24, 2024
+67-4
Commits
Commits on May 21, 2024
- committed
- committed
- authored
- committed
Commits on May 22, 2024
- committed
- authored
