Auto merge of rust-lang#5738 - mikerite:loops-20200623-2, r=matthiaskrgr … ...
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.