3 procedure Access_Test
is
5 type T1
is tagged null record;
7 procedure Proc_1
(P
: access T1
'Class) is
8 type Ref
is access T1
'Class;
9 X
: Ref
:= new T1
'Class'(P.all); -- Should always work (no exception)
16 type T2 is new T1 with null record;
23 type T3 is new T1 with null record;