CVS difference for ais/ai-00230.txt

--- ais/ai-00230.txt	2004/06/25 01:30:34	1.17
+++ ais/ai-00230.txt	2004/11/14 06:36:54	1.18
@@ -1,4 +1,4 @@
-!standard 03.04.01(06)                               04-05-24  AI95-00230/12
+!standard 03.04.01(06)                               04-11-03  AI95-00230/13
 !standard 03.06(07)
 !standard 03.06(22/1)
 !standard 03.07(10)
@@ -15,6 +15,7 @@
 !standard 04.06(13)
 !standard 04.06(18)
 !standard 04.06(49)
+!standard 04.06(61)
 !standard 08.05.01(02)
 !standard 08.05.01(03)
 !standard 08.05.01(06)
@@ -270,6 +271,15 @@
    specific anonymous access type, then the result is null if the operand value
    is null.
 
+Change paragraph 4.6(61) as follows:
+
+   22 A ramification of the overload resolution rules is that the operand of an
+   (explicit) type_conversion cannot be [the literal null, ]an allocator, an
+   aggregate, a string_literal, a character_literal, or an attribute_reference
+   for an Access or Unchecked_Access attribute. Similarly, such an expression
+   enclosed by parentheses is not allowed. A qualified_expression (see 4.7) can
+   be used instead of such a type_conversion.
+
 Change paragraph 8.5.1(2) as follows:
 
    object_renaming_declaration ::=
@@ -738,6 +748,24 @@
 @xinbull<If the target type is a specific anonymous access type, a check is made
 that the value of the operand is not null; if the target type is not a specific
 anonymous access type, then the result is null if the operand value is null.>
+
+!corrigendum 4.6(61)
+
+@drepl
+@s9<22  A ramification of the overload resolution rules is that the operand of an
+(explicit) @fa<type_conversion> cannot be the literal @b<null>, an @fa<allocator>,
+an @fa<aggregate>, a @fa<string_literal>, a @fa<character_literal>, or an
+@fa<attribute_reference> for an Access or Unchecked_Access attribute.
+Similarly, such an expression enclosed by parentheses is not allowed. A
+qualified_expression (see 4.7) can be used instead of such a @fa<type_conversion>.>
+@dby
+@s9<22  A ramification of the overload resolution rules is that the operand of an
+(explicit) @fa<type_conversion> cannot be an @fa<allocator>,
+an @fa<aggregate>, a @fa<string_literal>, a @fa<character_literal>, or an
+@fa<attribute_reference> for an Access or Unchecked_Access attribute.
+Similarly, such an expression enclosed by parentheses is not allowed. A
+qualified_expression (see 4.7) can be used instead of such a @fa<type_conversion>.>
+
 
 !corrigendum 8.5.1(2)