Even some much simpler things are extremely half baked. For example, here’s one I encountered recently:

    alignas(16) char buf[128];

Given that this is the recommended replacement for aligned_storage, it’s kind of embarrassing that it works so poorly. My solution is to wrap it in a struct so that at least one aligned type is involved and so that static_assert can query it.