AtomicWord<T> is implemented in terms of std::atomic<T>. However, until C++17, there is no way to determine at compile time if std::atomic<T> has a lock-free implementation. This task is to provide a specialization of AtomicWord<T> for user-defined types T that is definitely lock free when the correspondingly sized integer type's atomic is also lock free.
It should be a compile-time error to create an AtomicWord<T> for a user-defined type whose implementation would otherwise require locks. As part of this task, the implementer should also write runtime tests that confirm that the AtomicWord instantiations for integer types are actually lock free by using std::atomic::is_lock_free().