> 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.