CVS difference for ai05s/ai05-0208-1.txt

--- ai05s/ai05-0208-1.txt	2010/02/23 01:57:27	1.1
+++ ai05s/ai05-0208-1.txt	2010/02/25 00:59:37	1.2
@@ -1,4 +1,5 @@
-!standard  3.10.1(2.4/2)                             10-02-22    AI05-0208-1/01
+!standard  3.10.1(2.4/2)                             10-02-24    AI05-0208-1/02
+!standard  3.10.1(2.6/2)
 !class binding interpretation 10-02-22
 !status work item 10-02-22
 !status received 10-02-16
@@ -72,7 +73,13 @@
 of rules apply) is determined by the view of the type at the declaration of the
 access type; it does not change during the life of the type.
 
+Modify 3.10.1(2.6/2):
 
+Similarly, if a subtype_mark denotes a subtype_declaration defining a subtype of
+an incomplete view T, the subtype_mark denotes an incomplete view except under
+the same {three}[two] circumstances given above, in which case it denotes the full
+view of T. 
+
 !discussion
 
 3.10.1(2.2/2) is talking about the view of the type at the point of the
@@ -107,6 +114,19 @@
 @i<T> is an incomplete view declared by an @fa<incomplete_type_declaration>,
 and the completion of @i<T> is declared immediately within the same
 declarative list as @i<T>.>
+
+!corrigendum 3.10.1(2.6/2)
+
+@drepl
+Similarly, if a @fa<subtype_mark> denotes a @fa<subtype_declaration> defining a
+subtype of an incomplete view @i<T>, the @fa<subtype_mark> denotes an incomplete
+view except under the same two circumstances given above, in which case it denotes
+the full view of @i<T>. 
+@dby
+Similarly, if a @fa<subtype_mark> denotes a @fa<subtype_declaration> defining a
+subtype of an incomplete view @i<T>, the @fa<subtype_mark> denotes an incomplete
+view except under the same three circumstances given above, in which case it denotes
+the full view of @i<T>. 
 
 
 !ACATS Test