Function ddwaf_allocator_destroy 

pub unsafe extern "C" fn ddwaf_allocator_destroy(
    alloc: ddwaf_allocator,
)

Destroys an allocator created by one of the ddwaf_*_allocator_init functions and releases any internal resources it holds.

Safety and lifetime:

• It is the caller’s responsibility to ensure no outstanding memory from the allocator is still in use at the time of destruction.
• Must not called concurrently with other operations using the same allocator.
• Attempting to destroy the default allocator is a no-op and has no ill-effects.

@param alloc Allocator to destroy. (nonnull)