Accessors not recompiled

[Ph. Marek]

I've got a DEFTYPE, and use this in a class.
Changing the DEFTYPE later on and recompiling everything (either via swank compile-and-load, or via ASDF) isn't sufficient - the old accessor functions/methods are still used, so the type checking is wrong.

Attached is a small testcase; the DEFTYPEs have to be un-commented, though.

[Stas Boukarev (stassats)]

I'm not really sure what the code you're showing should do, but SBCL doesn't do any type-checking for slots with safety 1.

[Ph. Marek (ph-marek)]

Sorry, forgot to mention that I'm normally running with

    (declaim (optimize (debug 3) (safety 3)))

[Stas Boukarev (stassats)]

With safety declarations, it's possible to reproduce the test.

[Stas Boukarev (stassats)]

The situation is the following:
slot-layouts-compatible-p checks if the types are eq, and that obviously doesn't work when deftype is changed.
generate-slotd-typecheck caches a type-check function based on the type name, that's easy to fix, since it can cache (specifier-type type) instead.
But the first one is a bit trickier, it either needs to store the expansion of the type in the slot structure, or just treat any types, besides the primitve ones, as incompatible. I'm not sure which strategy is better to pursue.