If the chains are ill-formed (i.e., not distinct) then an error is
signalled."))
+(export 'check-class-initializer)
+(defgeneric check-class-initializer (slot class)
+ (:documentation
+ "Check that SLOT has an appropriate initializer.
+
+ Signal an appropriate continuable error, possibly protected by
+ `finalization-error'.
+
+ The initializer might come either from the SLOT's defining class (which it
+ already knows), or from the prospective instance CLASS, of which the
+ defining class will be (a superclass of) the metaclass. Or, if the slot
+ is magical, then the initial value might come from somewhere else and it
+ might be forbidden for a programmer to set it explicitly."))
+
(export 'check-sod-class)
(defgeneric check-sod-class (class)
(:documentation