[Ada] Fix bug in Ada 2005 anonymous access types handling

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on trunk

In Ada 2005 anonymous access types and access-to-subprogram types can be
used as component types, and there are new matching rules for them when
they are used as formal types and in conversions. The following must
compile quietly:
gcc -c -gnat05 h.ads
--
generic
   type Index_Type is (<>);
   type Array_Type is array (Index_Type) of access procedure;
package G is end;
--
with G;
package H is
   type Array_Type is array (Boolean) of access procedure;
   package GI is new G (Boolean, Array_Type);
end;

2005-12-05  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Subtypes_Match): Handle properly Ada05 arrays of
	anonymous access types.

	* sem_eval.adb (Subtypes_Statically_Match): Implement new rules for
	matching of anonymous access types and anonymous access to subprogram
	types. 'R'M 4.9.1 (2/2).

Attachment: difs.21
Description: Text document