CVS difference for ai12s/cor15con.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/cor15con.txt

--- ai12s/cor15con.txt	2014/11/14 02:30:41	1.4
+++ ai12s/cor15con.txt	2014/11/15 03:31:04	1.5
@@ -212,6 +212,25 @@
 of the type of the @i<iterable_>@fa<name> is a limited type at the point of the
 container element iterator.
 
+!corrigendum 7.3.2(10/3)
+!AI-0049-1
+!AI-0133-1
+
+@drepl
+@xbullet<After successful default initialization of an object of type @i<T>,
+the check is performed on the new object;>
+@dby
+@xbullet<After successful initialization of an object of type @i<T> by default
+(see 3.3.1), the check is performed on the new object unless the partial view
+of @i<T> has unknown discriminants;>
+
+@xbullet<After successful explicit initialization of the completion of a
+deferred constant with a part of type @i<T>, if the completion is inside
+the immediate scope of the full view of @i<T>, and the deferred constant
+is visible outside the immediate scope of @i<T>, the check is performed on
+the part(s) of type @i<T>;>
+
+
 !corrigendum 7.3.2(19/3)
 !AI-0042-1
 !AI-0044-1

Questions? Ask the ACAA Technical Agent