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

--- ai05s/ai05-0178-1.txt	2009/12/12 03:44:06	1.2
+++ ai05s/ai05-0178-1.txt	2010/01/09 01:31:29	1.3
@@ -1,6 +1,7 @@
 !standard  7.5(3/2)                                  09-12-11  AI05-0178-1/02
 !standard  7.5(6/2)
 !class binding interpretation 09-10-29
+!status Amendment 201Z 09-12-11
 !status ARG Approved 11-0-0  09-11-07
 !status work item 09-10-29
 !status received 09-10-28
@@ -282,5 +283,19 @@
 Sent: Thursday, October 29, 2009  1:56 PM
 
 Adding "view of a" seems to solve the problem nicely.
+
+****************************************************************
+
+From: Pascal Leroy
+Sent: Sunday, November 15, 2009  8:33 AM
+
+> I don't think we did per-se. I recall you telling us that incomplete views
+> are always limited. (That's why I immediately went there when Steve raised
+> the question to me privately yesterday.) The problem is that never made it
+> into the wording.
+
+I read in 3.10.1(2.1/2): "An incomplete view of a type is a limited view of
+the type (see 7.5)".  This seems exactly right to me, although I could see
+an argument for putting this rule in 7.5 rather than hiding it here.
 
 ****************************************************************