pan class="token punctuation">,</span> _<span class="token punctuation">,</span> Some<span class="token punctuation">(</span>exampleError<span class="token operator">:</span> ExampleAppEncodableError<span class="token punctuation">)</span><span class="token punctuation">,</span> _<span class="token punctuation">)</span> <span class="token keyword">=&gt;</span>
    err<span class="token punctuation">.</span>copy<span class="token punctuation">(</span>extensions <span class="token operator">=</span> Some<span