           info.dst = new_buffer.subview(offset_begin, extent);</div>
<div class="line"><a id="l00507" name="l00507"></a><span class="lineno">  507</span>                    info.src = old_buffer.subview(offset_begin, extent);</div>
<div class="line"><a id="l00508" name="l00508"></a><span class="lineno">  508</span>                    copy_construct_infos.emplace_back(info);</div>
<div class="line"><a id="l00509" name="l00509"></a><span class="lineno">  509</span>                }</div>
<div class="line"><a