Deallocates b. This works only if b was obtained as the last call
to allocate; otherwise (i.e. another allocation has occurred since) it
does nothing. This semantics is tricky and therefore deallocate is
defined only if Region is instantiated with Yes.defineDeallocate
as the third template argument.
Deallocates b. This works only if b was obtained as the last call to allocate; otherwise (i.e. another allocation has occurred since) it does nothing. This semantics is tricky and therefore deallocate is defined only if Region is instantiated with Yes.defineDeallocate as the third template argument.