CVS difference for ai12s/ai12-0277-1.txt
--- ai12s/ai12-0277-1.txt 2018/06/16 03:33:28 1.1
+++ ai12s/ai12-0277-1.txt 2018/06/30 00:19:00 1.2
@@ -1,7 +1,8 @@
-!standard 13.11(21) 18-05-11 AI12-0277-1/01
+!standard 13.11(21) 18-06-29 AI12-0277-1/02
!standard 13.11.4(21/3)
!standard 13.11.4(31/3)
!class binding interpretation 18-05-11
+!status ARG Approved 9-0-2 18-06-22
!status work item 18-05-11
!status received 18-05-10
!priority Low
@@ -68,7 +69,8 @@
return object is considered to be the same as that of the level of the
explicitly aliased parameter; for statically comparing with the level of other
entities, an explicitly aliased parameter of F is considered to have the
-accessibility level of a parameter of F that is not explicitly aliased.
+accessibility level of {a parameter of F that is not explicitly aliased}[the
+body of F].
!discussion
@@ -144,6 +146,30 @@
"non-explicitly-aliased" is a mouthful. Thus we rearranged it to get the
wording proposed above.
+
+!corrigendum 3.10.2(19.2/4)
+
+@drepl
+@xbullet<Inside a return statement that applies to a function or generic
+function @i<F>, or the return expression of an expression function @i<F>, when
+determining whether the accessibility level of an explicitly
+aliased parameter of @i<F> is statically deeper than the level of the
+return object of @i<F>, the level of the return object is considered to
+be the same as that of the level of the explicitly aliased
+parameter; for statically comparing with the level of other
+entities, an explicitly aliased parameter of @i<F> is considered to have
+the accessibility level of the body of @i<F>.>
+@dby
+@xbullet<Inside a return statement that applies to a function or generic
+function @i<F>, or the return expression of an expression function @i<F>, when
+determining whether the accessibility level of an explicitly
+aliased parameter of @i<F> is statically deeper than the level of the
+return object of @i<F>, the level of the return object is considered to
+be the same as that of the level of the explicitly aliased
+parameter; for statically comparing with the level of other
+entities, an explicitly aliased parameter of @i<F> is considered to have
+the accessibility level of a parameter of @i<F> that is not explicitly
+aliased.>
!ASIS
Questions? Ask the ACAA Technical Agent