Satisfied when T is trivially copyable and always lock-free as an atomic.
Declared in <folly/ConcurrentBSkipList-detail.h>
template<typename T>
concept Check = std::is_trivially_copyable_v<T> && std::atomic<T>::is_always_lock_free;Concept so the && short-circuits: std::atomic<void>::is_always_lock_free is ill-formed, but trivially_copyable<void> fails first.
| Name | Description |
|---|---|
| T | The type under test. |