Need - noexcept correctness - constexpr evaluation - validate that SBO is used under correct conditions - Non-trivial value_type (preferably one that allocates)
Need