!ASIS Issue #085
!topic Is_Defaulted_Association Expected kinds list
!reference  ASIS 95-17.26
!from  Sergey Rybin 97-10-21
!keywords Is_Defaulted_Association
!discussion

I think, An_Array_Component_Association should be removed from
the Expected Association_Kinds list of
Asis.Expressions.Is_Defaulted_Association. An_Array_Component_Association
can never be in the normalized form, and it can never have
any default expression passed for an arrat component. By the
way, An_Array_Component_Association is not included in the
list of expected kinds for Asis.Expressions.Is_Normalized, so why
should it be included for Asis.Expressions.Is_Defaulted_Association?

Another comment - probably, we also should remove from the list
of expected Association_Kinds for Asis.Expressions.Is_Defaulted_Association
A_Discriminant_Association and A_Record_Component_Association,
because they also can never have default expressions (even though
they can be normalized)

!resolution  Accept
!date 98-03-26
!Notes

1. In 17.26 Asis.Expression.Is_Defaulted_Association,
   A_Discriminant_Association, An_Array_Component_Association,
   and A_Record_Component_Association are deleted from the
   list of Expected Association_Kinds.

2. In 17.26 Asis.Expression.Is_Defaulted_Association,
   the note is flagged with the '--|AN' sentinel and moved to the
   end of the clause, under the "Expected Association_Kinds" list.