CVS difference for ai12s/ai12-0330-1.txt

Differences between 1.11 and version 1.12
Log of other versions for file ai12s/ai12-0330-1.txt

--- ai12s/ai12-0330-1.txt	2021/03/14 10:28:38	1.11
+++ ai12s/ai12-0330-1.txt	2021/03/14 11:35:51	1.12
@@ -42,7 +42,7 @@
 An accessibility level is a representation of the lifetime of an entity in
 terms of the level of dynamic nesting within which the entity is known to exist.
 Dynamic accessibility checks ensure that a reference does not outlive the entity
-to which it refers, by checking that the level of the reference is no deeper 
+to which it refers, by checking that the level of the entity is no deeper 
 than the level of the reference. Based on static nesting, there are 
 corresponding legality rules that the level of the entity is not statically
 deeper than that of the reference.
@@ -1459,6 +1459,12 @@
 From an informal RM review from John Barnes (March 8, 2021)
 
 N(2.1/5)     accessibility level third line has referce should be reference
+
+[Editor's note: There is a whopper here, too. The following is always true:
+
+...by checking that the level of the reference is no deeper than the level of the reference.
+
+The first "reference" here should be "entity".]
 
 N(38.2/5)   suppress   add a thus  ...  can cause a program to behave ...
 

Questions? Ask the ACAA Technical Agent