fix: Make datatype cycle detection independent of auto-init#4997
Merged
RustanLeino merged 24 commits intodafny-lang:masterfrom RustanLeino:issue-4939Jan 24, 2024
+496-63
Commits
Commits on Jan 18, 2024
Commits on Jan 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
