Scieneer Common Lisp 1.3.9 online documentation

ext:truly-the &rest rest[Special Form]

truly-the type value

Like the the special form, except that it believes whatever you tell it. It will never generate a type check, but will cause a warning if the compiler can prove the assertion is wrong.