gcc-4.9/gcc/testsuite/gnat.dg/test_ai254.adb


1
2
3
4
5
6
7
8
9
10
11
12

--  { dg-do compile }

procedure test_ai254 is
   function Func
      (Obj : not null access protected function (X : Float) return Float)
      return not null access protected function (X : Float) return Float is
   begin
      return null;
   end;
begin
   null;
end;