fix #[loop_match] on diverging loop#144783

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

folkertdev:loop-match-diverging-loopfolkertdev/rust:loop-match-diverging-loopCopy head branch name to clipboard