CVS difference for ai05s/ai05-0071-1.txt
--- ai05s/ai05-0071-1.txt 2011/05/05 06:58:44 1.9
+++ ai05s/ai05-0071-1.txt 2012/03/27 01:55:19 1.10
@@ -184,6 +184,15 @@
ACATS C-Test(s) are necessary for this change.
+Add at the end of 12.45:
+- Ada Standard 12.6(10)
+ - The implicit subprogram that exists for class-wide types
+ corresponding to a defaulted formal subprogram is
+ Is_Part_Of_Implicit. The enclosing element of their declaration is the
+ enclosing element of the corresponding specific type.
From: Tucker Taft
Questions? Ask the ACAA Technical Agent