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

--- ai05s/ai05-0228-1.txt	2010/11/20 05:22:32	1.4
+++ ai05s/ai05-0228-1.txt	2011/01/06 01:39:33	1.5
@@ -162,6 +162,13 @@
 it makes perfect sense to initialize all objects to that value. That would
 greatly reduce the chances of invalid objects of the type existing.
 
+
+We considered making these subtype aspects rather than type aspects. That would
+allow giving different default values to different subtypes. However, given the
+existence of many ways to create anonymous subtypes it would be very hard to
+guarantee that all values of a type are initialized. Without that guarantee, these
+aspects lose a lot of their purpose.
+
 !examples
 
 Providing a default initial value for an enumeration type with an unknown value: