We don't allow over-aligned decorations today/any decorations with an alignment requirement > std::max_align_t.
A static assert enforcing this was added when it was noticed that the original decorations implementation might not correctly support over-aligned decorations.

However, the current implementation does attempt to respect alignment requirements, and there is no reason it shouldn't work with extended alignment requirements.

We should write a test to verify that we do correctly support over-aligned decorations, and remove the pessimistic static assert if so. If not, we should investigate why these types do not work and consider adding support.