This argument is added to return all the inlined operations. The caller
can fine-tune these inlined operations. The content is valid only when
the inlining is successful.
I don't think this is necessary to add, given that the caller can always determine the operations that were inlined. The caller can grab iterators before/after the insertion point and walk the operations in between after inlining. The inliner guarantees that the operations get put in deterministically.
// Before inlining ^foo: ... // before call foo.call ... // after call // After inlining a single block: ^foo: ... // before call foo.call <new-operations> ... // after call // After inlining multiple blocks: ^foo: ... // before call foo.call <new-operations> ^<new-blocks>: <more-new-operations> ^foo.split.during.inlining: ... // after call