+;;; ctor optimization bugs:
+;;;
+;;; :DEFAULT-INITARGS not checked for validity
+(defclass invalid-default-initargs ()
+ ((foo :initarg :foo))
+ (:default-initargs :invalid-initarg 2))
+(multiple-value-bind (result condition)
+ (ignore-errors (make-instance 'invalid-default-initargs :foo 1))
+ (assert (null result))
+ (assert (typep condition 'program-error)))
+\f