1--  { dg-do run }
2
3procedure access_discr2 is
4   type X (I : not null access Integer) is tagged null record;
5
6   I : aliased Integer := 8;
7   Y : X (I'Access);
8begin
9   null;
10end access_discr2;
11