Assertion: exception | /r/HasProperty | within finalizer
Facets:
Source sentences:
text: If the exception is within a finalizer, the finalizer is aborted and the base finalizer, if any, is called.