1--  { dg-do compile }
2--  { dg-options "-gnatI" }
3
4package gnati is
5   type j is range 1 .. 50;
6   for j'size use 1;
7   type n is new integer;
8   for n'alignment use -99;
9   type e is (a, b);
10   for e use (1, 1);
11   type r is record x : integer; end record;
12   for r use record x at 0 range 0 .. 0; end record;
13end gnati;
14