Assertion: resource | /r/HasProperty | released
Facets:
value: appropriately
type: MANNER
Source sentences:
text: In both cases, RAII ensures only that the resource in question is released appropriately; care must still be taken to maintain exception safety.