Value of (LOGAND SB-C::X (LOGAND 7 4294967295)) ... is 6 not a (MOD 5)

[Paul F. Dietz]

(defun bug399 ()
  (let ((form `(lambda (p1)
                 (declare (type character p1))
                 (the
                  (or
                   (member #:g3953324 #:g3953325 #:|baaaabbbbabaababbb|
                           #:|baaabbaabbbabbba|
                           ,(make-symbol (map 'string #'code-char '(18689 30023 3247 59527 37241 35427))))
                   standard-char)
                  p1))))
    (funcall (compile nil form) #\U)))

(bug399) ==>

Value of (LOGAND SB-C::X (LOGAND 7 4294967295)) in
(THE (MOD 5)
     (SB-C::UINT32-MODULARLY SB-C::VAL
       (SB-C::& (SB-C::U32+ SB-C::VAL 6) 7)))

is
  6,
not a
  (MOD 5).
   [Condition of type SIMPLE-TYPE-ERROR]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [*ABORT] Return to SLIME's top level.
 2: [ABORT] abort thread (#<THREAD tid=4344 "repl-thread" RUNNING {100873FE33}>)

Backtrace:
  0: (SB-C::%COMPILE-TIME-TYPE-ERROR (6) (MOD 5) #<unused argument> ((LOGAND SB-C::X (LOGAND 7 4294967295))) "(THE (MOD 5) ..)
  1: ((LAMBDA (P1)) #\U)
[...]

x86-64, "2.4.8.14-8889d2b72"