On Tue, Dec 12, 2023 at 1:48 PM Arthur O'Dwyer wrote:

> ~unaligned() requires std::is_trivially_destructible<T> = default;
> ~unaligned() { alignas(T) std::byte ~~~~ tmp.~T(); }


Nice!

I don't know if it would ever make sense to have an
'unaligned<std::string>' but anyway here's my first attempt:

    https://godbolt.org/z/frzb1Tao1

The main thing is that 'unaligned' shall remain trivial is T is
trivial -- but that 'unaligned' can still be used for non-trivial
types.