gcc/testsuite/gnat.dg/discr50.adb

   1 --  { dg-do compile }
   2
   3 procedure Discr50 is
   4    type My_Record (D : Integer) is record
   5       A : Integer;
   6    end record;
   7
   8    B : My_Record (Positive range 1 .. 10);  -- { dg-error "a subtype indication is not a valid discriminant constraint" }
   9 begin
  10    null;
  11 end Discr50;