Verification of size compatibility for sequences

[treiher]

The size of a sequence must be multiple of its element size (at least for sequences of scalars). The following specification should be rejected:

package Test is

   type T is mod 2 ** 16;

   type A is sequence of T;

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

end Test;