The value #<SB-C::LAMBDA-VAR [...]> is not of type SB-C::LVAR when binding SB-C::LVAR

[Paul F. Dietz]

(defun f100 (p1 p4)
  (declare (optimize speed debug (space 0))
           (type (simple-array * (*)) p1)
           (type (member #.#'car "0" cdr) p4))
  (stable-sort p1 #'<= :key p4))

==>

The value
  #<SB-C::LAMBDA-VAR
    :%SOURCE-NAME #:G48
    :TYPE #<SB-KERNEL:INTERSECTION-TYPE (AND
                                         (MEMBER CDR
                                                 #<FUNCTION CAR>)
                                         (SB-KERNEL:FUNCTION-DESIGNATOR
                                          (T) *))> {1007445573}>

is not of type
  SB-C::LVAR
when binding SB-C::LVAR
[...]
  0: (SB-C::PRINCIPAL-LVAR-USE #<SB-C::LAMBDA-VAR :%SOURCE-NAME #:G48 :TYPE #<SB-KERNEL:INTERSECTION-TYPE (AND (MEMBER CDR #<FUNCTION CAR>) (SB-KERNEL:FUNCTION-DESIGNATOR # *))> {1007445573}>)
  1: (SB-C::LVAR-FUN-TYPE #<SB-C::LAMBDA-VAR :%SOURCE-NAME #:G48 :TYPE #<SB-KERNEL:INTERSECTION-TYPE (AND (MEMBER CDR #<FUNCTION CAR>) (SB-KERNEL:FUNCTION-DESIGNATOR # *))> {1007445573}>)
  2: ((LABELS SB-C::%PROCESS-ARG :IN SB-C::FUNCTION-DESIGNATOR-CAST-TYPES) (0 :SEQUENCE T :KEY 1))
  3: (SB-C::FUNCTION-DESIGNATOR-CAST-TYPES #<SB-C::FUNCTION-DESIGNATOR-CAST :%TYPE-CHECK NIL :VALUE #<SB-C::LVAR 1 {10075DD523}> :ASSERTED-TYPE #<SB-KERNEL:FUN-DESIGNATOR-TYPE (SB-KERNEL:FUNCTION-DESIGNATO..
  4: (SB-C::CHECK-FUNCTION-DESIGNATOR-CAST #<SB-C::FUNCTION-DESIGNATOR-CAST :%TYPE-CHECK NIL :VALUE #<SB-C::LVAR 1 {10075DD523}> :ASSERTED-TYPE #<SB-KERNEL:FUN-DESIGNATOR-TYPE (SB-KERNEL:FUNCTION-DESIGNATO..
  5: (SB-C::IR2-CONVERT-CAST #<SB-C::FUNCTION-DESIGNATOR-CAST :%TYPE-CHECK NIL :VALUE #<SB-C::LVAR 1 {10075DD523}> :ASSERTED-TYPE #<SB-KERNEL:FUN-DESIGNATOR-TYPE (SB-KERNEL:FUNCTION-DESIGNATOR (T T) *)> :D..
  6: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 8 :START c3 {1007573D83}>)
[...]

[Stas Boukarev (stassats)]

e3b2c7e3ccd2ff73855270cfddaeea329459a712