1-- { dg-do compile }
2
3procedure test_ai254 is
4 function Func
5 (Obj : not null access protected function (X : Float) return Float)
6 return not null access protected function (X : Float) return Float is
7 begin
8 return null;
9 end;
10begin
11 null;
12end;
13