blob: f3d32333cd946defe174f82303465e5c24b8e529 [file] [log] [blame]
-- { dg-do compile }
package body Check1 is
function FD (X : access R) return P2 is
begin
return P2 (X.Disc);
end FD;
end Check1;