This rewriting enables better bufferization and canonicalizations.
A new RankedTensorType is returned which has its own allocated shape for this.
to dest -> to that of dest.
It isn't clear from the comment here why a Value has been passed instead of a target type.
Please add in sorted order.
out-live -> outlive