Check that the body of `while` & `repeat`-loops contains at least one `step`
Open
Language Design
- Dominant language
- Rust
- Stars
- 15
- Forks
- 0
- Avg merge
- 6h 20m
- Merged PRs (30d)
- 15
Description
As discussed today (11/11), we want to disallow loops that don't contain at least one `step()` in its body, otherwise the loop might not converge within a single step.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.