/code> Array.</p>
<p>The elements are not copied and retain their identity, so
<code>a[i] == a.copy()[i]</code> is true for any valid <code>i</code>. However,
<code>a == a.copy()</code> is always false.</p></div></div><div class="field "><a name="filter"></a><h3 class="anchor"><code><span class="label label-meta label-meta-runtime" title="">@:runtime</span><span class="label label-inline">inline</span><a href="#filter"><span class="identifier">filter</span></a>(<span style="white-space:nowrap">f:<span class