fn user_body<'gcx>(body: &'gcx [Stmt<'gcx>]) -> &'gcx [Stmt<'gcx>]Expand description
The user-written body of a loop, peeled out of the synthetic condition guard the lowering
wraps it in: for/while become a single if (cond) { body } else break, do-while appends
if (cond) continue; else break;. Without peeling, the guard’s break/continue would read
as user control flow. A body of another shape is returned unchanged.