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;