oken punctuation">)</span><span class="token punctuation">)</span><span class="token punctuation">)</span>
  <span class="token keyword">case</span> err<span class="token operator">:</span> ExecutionError <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 class="token punctuation">(</span>ObjectValue<span class="token punctuation">(</span>List<span class="token punctuat