exists also in CLISP and Lispworks. But this code is unlikely to be written by somebody, unless he or she do not know about DEFTYPE syntax at all. Should SBCL have a protection against such non-standard usage attempts? Or we assume users to be smart enough and therefore we should not pay our attention to such problems? I am asking about this, because there are probably many similar issues - should I report them in the future or not? I have already put some of them to Launchpad, but they mostly involve the crazy code which is unlikely to occur in real life: