[libcxx-commits] [clang] [libcxx] [clang][ThreadSafety] Handle mutex scope (PR #157171)

[Aaron Puchert via libcxx-commits]

https://github.com/aaronpuchert requested changes to this pull request.

It looks like there is some confusion around the concepts here: `unique_lock` is not a `lockable` but a [`scoped_lockable`](https://clang.llvm.org/docs/ThreadSafetyAnalysis.html#scoped-capability). The latter should be automatically released if you annotate the destructor. The former should in my view be manually released before they're destroyed. I'll comment on the original issue.

https://github.com/llvm/llvm-project/pull/157171