That is, maybe the wording should be softened slightly? (and the documentation for each of `min_align_of` and `align_of` could mention the other.)