!editorial comment 120
!topic  Corresponding_Type returns A_Formal_Type_Definition
!reference  ASIS 95-15.29
!from  Gary Barnes  98-10-29

Since generic formal types also define implicit subprograms (eg. "+")
shouldn't this interface be described as also being able to return
A_Formal_Type_Definition?

Original text:

    function Corresponding_Type (Declaration : in Asis.Declaration)
       return Asis.Type_Definition;
------------------------------------------------------------------------------
-- Declaration - Specifies the subprogram_declaration to query
--
-- Returns the type definition for which this entity is an implicit
-- declaration.  The result will often be a derived type.  However, this query
-- also works for declarations of predefined operators such as "+" and "=".
-- Raises ASIS_Inappropriate_Element if the argument is not an implicit
-- declaration resulting from the declaration of a type.
--
-- Appropriate Element_Kinds:
--      A_Declaration
--
-- Appropriate Declaration_Kinds:
--      A_Function_Declaration
--      A_Procedure_Declaration
--
-- Returns Definition_Kinds:
--      A_Type_Definition
------------------------------------------------------------------------------

!resolution  Accept.

Add A_Formal_Type_Definition to the "Returns Definition_Kinds" list.