Extending alignment to any constant-evaluable expression

There's the (to me) immediately obvious problem of being able to use align_of::<T>() in const eval. Anything that's self-referential, even behind arbitrary levels of indirection, would be an issue.