Function annotate_rwlock_destroy

pub fn annotate_rwlock_destroy(lock: *const ())

Available on crate feature client_requests_defs only.

Report that the lock at address lock is about to be destroyed

See also annotate_rwlock_create