Fix make_guard!() unsoundness in the presence of diverging code afterwards#16
Merged
CAD97 merged 10 commits intoCAD97:mainfrom Aug 16, 2025
Merged
Commits
Commits on Aug 6, 2025
- authored andcommitted
- authored andcommitted
Commits on Aug 7, 2025
Commits on Aug 8, 2025
Commits on Aug 16, 2025
- committed