aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr50.adb
blob: e7de16d9e7cb4363a8a0d6a660605767667fbe3f (plain)
1
2
3
4
5
6
7
8
9
10
11
--  { dg-do compile }

procedure Discr50 is
   type My_Record (D : Integer) is record
      A : Integer;
   end record;

   B : My_Record (Positive range 1 .. 10);  -- { dg-error "a subtype indication is not a valid discriminant constraint" }
begin
   null;
end Discr50;