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