blob: 45593da845caa7e3da0ba7b61f8c60c33772aad6 [file] [log] [blame]
package Expr_Func3 is
type Obj_T is abstract tagged null record;
type T is access all Obj_T'Class;
function Slave (Obj : access Obj_T) return T is (T(Obj));
function Optional_Slave (Obj : T) return T;
procedure Dummy;
private
function Optional_Slave (Obj : T) return T is
(if Obj = null then null else Slave (Obj));
end Expr_Func3;