We should not allow exceptions in the internal close I think. If the exceptions thrown here are fatal then they should just be errors instead as well. If they are not and need handling then the handling should happen in the `closeInternal` call. Otherwise, all callers of `decRef` must be aware of necessary exception handling which would make reasoning about the behavior of exceptions in `#closeInternal` extremely complicated. |
||
---|---|---|
.. | ||
src | ||
build.gradle |