DATA_ALIGNMENT vs. DECL_USER_ALIGNMENT

[Robert Dewar]

>         Yes, the type can have greater alignment.  However type normally
> does imply a minimum alignment and minimum size.  Specifying user
> alignment for a well-defined type seems redundant.

Well the front end must know statically the alignment of any non-primitive
type, so it makes some sense to specify it as having the value that the
front end thinks it has.