This patch implements AI12-050, which extends the conformance rules to Ada2012
quantified expressions. Previously the conformance of corresponding identifiers
in the two expressions required that they denote the same entity. The loop
parameters of two quantified expressions are conformant if the
Ada2012 Quantified expressions can appear in default expressions, and must be
checked for conformance.
The following compilation:
gcc -c -gnat12 -gnata conf.adb
must yield:
conf.adb:16:14: not fully conformant with declaration at line 4
conf.adb:16:14: default expression for X does