wanted: (declaim (optimize sb-ext:type-check-clos-slots))

[Tobias C. Rittweiler]

I'd like to have a global declaration that I can switch on so CLOS slot accessors
will respect the :TYPE argument in slot-definitions.

Having to manually wrap each DEFCLASS form in an
(LOCALLY (DECLARE (OPTIMIZE SAFETY)) ...) is rather cumbersome. Same
for globally setting SAFETY as high.

[Gustavo (gugamilare)]

I've made an attempt to fix this bug.

I changed the declaration in the file "tests/clos-typechecking.impure.lisp" and all tests passed :)

I also changed the file "src/code/cross-misc.lisp". It isn't really necessary, but it's harmless nevertheless.

Let me know if I missed something.

[Douglas Katzman (dougk)]

should not be "in progress" for 8 years