+
+;;; inherited local -> shared slot initforms
+;; (adapted from Paul F. Dietz's test suite DEFCLASS-0211.1)
+(defclass shared-to-local-initform-super ()
+ ((redefined :allocation :instance :initform 'orig-initform)))
+(defclass shared-to-local-initform-sub (shared-to-local-initform-super)
+ ((redefined :allocation :class)))
+(assert (slot-boundp (make-instance 'shared-to-local-initform-sub) 'redefined))
+(assert (eq 'orig-initform
+ (slot-value (make-instance 'shared-to-local-initform-sub) 'redefined)))
+\f
+(defgeneric no-ignored-warnings (x y))
+(handler-case
+ (eval '(defmethod no-ignored-warnings ((x t) (y t))
+ (declare (ignore x y)) nil))
+ (style-warning (c) (error c)))
+(handler-case
+ (eval '(defmethod no-ignored-warnings ((x number) (y t))
+ (declare (ignore x y)) (setq *print-level* nil)))
+ (style-warning (c) (error c)))
+(handler-case
+ (eval '(defmethod no-ignored-warnings ((x fixnum) (y t))
+ (declare (ignore x)) (setq y 'foo)))
+ (style-warning (c) (error c)))