return1.ads

来自「用于进行gcc测试」· ADS 代码 · 共 8 行

package return1 is
    type Base is abstract tagged null record;
    type Child is new Base with record
       Anon_Access : access Base'Class;
    end record;
    function X_Func (O : access Child) return access Base'Class;
end return1;