ASSERT and CHECK-TYPE should use GET-SETF-EXPANSION
phoe opened this issue · comments
See Clozure/ccl#366
check-type should use get-setf-expansion to ensure that only one place is considered and stored when trying new values!
Current implementation does not, and will mutate the wrong place, and can even go out of bounds: