In addition to the usage of this attribute in the Ada RM, GNAT
also permits the use of the
in a generic template
for any type, including types without discriminants. The value of this
attribute in the generic instance when applied to a scalar type or a
record type without discriminants is always
True. This usage is
compatible with older Ada compilers, including notably DEC Ada.