!ASIS Issue #074
!topic  Corresponding_Called_Entity and dispatching calls.
!reference  ASIS 95-18.25
!from  Alain Le Guennec 97-04-23
!keywords  Corresponding_Called_Entity Corresponding_Called_Function dispatching
!discussion

When a call to a dispatching operation of a tagged type is
dispatching, the result of Corresponding_Called_Entity (or
Corresponding_Called_Function) is not statically determined, and so
these queries should return a Nil_Element in that case too.

!resolution  Rejected.
!date 97-05-28
!Notes

The reasons for returning a Nil_Element already include the fact that
the argument is a dispatching call; there is no need to explain that
the argument is a call to a dispatching operation of a tagged type
that is not statically determined.

No changes were made.  See also Issue #079.