!standard 15.48 09-02-12 SI99-0045-1/01 !class binding interpretation 08-10-21 !status work item 08-10-21 !status received 08-10-21 !priority Low !difficulty Easy !qualifier Omission !subject Primitive operations given by instantiation !summary A_Procedure_Instantiation and A_Function_Instantiation are added to the list of expected Element_Kinds of Is_Dispatching_Operation. !question Although pathological, it is not impossible to have a primitive operation of a tagged type given by an instantiation. Is_Dispatching_Operation (15.48) does not include A_Procedure_Instantiation and A_Function_Instantiation in the expected Element_Kinds. Should these be added ? (Yes) !recommendation (See summary.) !wording After A_Function_Renaming_Declaration, add: A_Procedure_Instantiation A_Function_Instantiation !discussion ASIS should allow this sort of case, since ASIS shouldn't be analyzing the language and deciding whether some case is a pathology. The only question is whether it is possible. Users would expect to be able to ask this question of any subprogram. !appendix ****************************************************************