We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 67ff64d commit 626622bCopy full SHA for 626622b
1 file changed
doc/contributing/erm-guidelines.md
@@ -85,7 +85,8 @@ So with this is mind, it is necessary to outline some guidelines for disposers:
85
the object should be disposed as if an exception had occurred. For instance,
86
if the object API exposes both a `close()` method and an `abort()` method,
87
the disposal method should call `abort()` if the object is not already
88
- closed.
+ closed. If there is no difference in disposing in success or exception contexts,
89
+ then separate disposal methods are unnecessary.
90
1. Disposers may throw their own exceptions but this is not recommended.
91
If a disposer throws an exception while there is another pending
92
exception, then both exceptions will be wrapped in a `SupressedError`
0 commit comments