[Coding Guideline]: Ensure all loops have a termination condition that is provably reachable#305

rcseacord wants to merge 7 commits intorustfoundation:mainrustfoundation/safety-critical-rust-coding-guidelines:mainfrom

rcseacord:guideline/inflooprcseacord/safety-critical-rust-coding-guidelines:guideline/infloopCopy head branch name to clipboard