CVS difference for ai05s/ai05-0086-1.txt
--- ai05s/ai05-0086-1.txt 2008/01/29 04:02:33 1.1
+++ ai05s/ai05-0086-1.txt 2008/02/05 06:33:09 1.2
@@ -48,7 +48,7 @@
But this is bad for all of the reasons given in AARM 3.7(15.a).
---!corrigendum 4.9.1(4)
+!corrigendum 4.9.1(4)
@drepl
A constraint is @i<statically compatible> with a scalar subtype if it statically
@@ -71,6 +71,8 @@
excludes null, then so does the first.
!ACATS Test
+
+A B-Test needs to check that null exclusions are checked in these cases.
!appendix
Questions? Ask the ACAA Technical Agent