Verification of sequence field size

[treiher]

The size of a sequence field must be a multiple of 8 bit. The following specification should not be accepted:

package Test is

   type T is mod 2 ** 8;

   type A is sequence of T;

   type M is
      message
         A : A
            with Size => 12;
      end message;

end Test;