Properly mark loop as diverging if it has no breaks#128443

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:async-unreachablecompiler-errors/rust:async-unreachableCopy head branch name to clipboard