!ASIS Issue #080
!topic Missed returned kind for Asis.Declarations.Result_Profile
!reference  ASIS 95-15.20
!from  Sergey Rybin 95-08-14
!keywords Result_Profile, An_Attribute_Reference
!discussion

consider a function definition like this

    function F (X : T1) return T2'Class;

In the same time ASIS 95 says (subclause 15.20):

---------------------------------------------------------------------------------------
-- Subclause 15.20      function Result_Profile
---------------------------------------------------------------------------------------

    function Result_Profile (Declaration : in Asis.Declaration)
                         return Asis.Expression;

---------------------------------------------------------------------------------------
-- Declaration - Specifies the function declaration to query
--
-- Returns the subtype mark expression for the return type for any function
-- declaration.
--
-- Appropriate Declaration_Kinds:
--      A_Function_Declaration
--      A_Function_Body_Declaration
--      A_Function_Body_Stub
--      A_Function_Renaming_Declaration
--      A_Generic_Function_Declaration
--      A_Formal_Function_Declaration
--
-- Returns Expression_Kinds:
--      An_Identifier
--      A_Selected_Component
--

So An_Attribute_Reference as a Result Profile is not covered by this list
of the returned expression kinds

!resolution  Accepted.
!date 97-08-25
!Notes

An_Attribute_Reference was added as an Expression_Kind returned from
this subprogram.

Changes were made in version 2.0.P.