ype-summary">summary</a>,
    <span>[&gt; <span>`JavaResourceLeak of
         <a href="#type-summary">summary</a>
         * <a href="../index.html#type-t">t</a>
         * <a href="../../../IR/JavaClassName/index.html#type-t">IR.JavaClassName.t</a>
         * <a href="../../PulseTrace/index.html#type-t">Pulselib.PulseBasicInterface.Trace.t</a>
         * <a href="../../../IBase/Location/index.html#type-t">IBase.Location.t</a></span>
    <span><span>| `UnawaitedAwaitable</span> of
      <a href="#type-summa