Rollup merge of #134521 - adetaylor:roll-loop, r=wesleywiser

Arbitrary self types v2: roll loop.

Just for slightly more concise code - no functional changes.

r? `@wesleywiser`

Part of #44874

Author: jhpratt