base.LoopBody[R:imm,mut,read]

mut #: mut base.ControlFlow[R], // from base.ReturnStmt/1
mut #: mut base.ControlFlow[R], // from base.ReturnStmt/1