[Ada] Spurious error on actual array type in generic child instantiation.

[Arnaud Charlet <charlet at adacore dot com>]

This patch suppresses the check for compatibility of the component types of
the formal and the corresponding actual in the instantiation of a generic
child unit, when the component type of the formal is itself a formal of an
enclosing generic unit. This removes spurious conformance errors in complex
sets of nested instantiations of generic hierarchies. 

No short example available.

Tested on x86_64-pc-linux-gnu, committed on trunk

2017-09-08  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Validate_Array_Type_Instance): Suppress check
	for compatibility of component types of formal and actual in an
	instantiation of a child unit,	when the component type of the
	formal is itself a formal of an enclosing generic.

Attachment: difs
Description: Text document