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

--- ai12s/ai12-0363-1.txt	2020/06/17 00:20:22	1.5
+++ ai12s/ai12-0363-1.txt	2020/06/17 02:35:02	1.6
@@ -1381,3 +1381,21 @@
 Yup, that's what I was thinking. Didn't have a good name for it though.
 
 ****************************************************************
+
+From: Tucker Taft
+Sent: Saturday, June 13, 2020  1:01 PM
+
+After a bit of thought, I conclude this paragraph about formal array types:
+
+  If a type with volatile components is used as an actual for a generic
+  formal array type, then the components of the formal type shall be
+  volatile. Furthermore, if the actual type has atomic components and
+  the formal array type has aliased components, then the
+  components of the formal array type shall also be atomic.
+
+Needs to have the following added at the end:
+
+   A corresponding rule applies when the actual type has volatile full access
+   components.
+
+****************************************************************