The value NIL is not of type SB-C::LVAR when binding SB-C::LVAR (in constraint propagation)

[Paul F. Dietz]

(lambda (&rest r) (delete-if #'> r))

==>

The value
  NIL
is not of type
  SB-C::LVAR
when binding SB-C::LVAR
[...]
  0: (SB-C::OK-LVAR-LAMBDA-VAR NIL #S(SB-C::CONSET :VECTOR #*0011111111010000 :MIN 0 :MAX 12)) [external]
  1: (SB-C::ADD-TEST-CONSTRAINTS #<SB-C::COMBINATION :FUN #<SB-C::FUNCTION-DESIGNATOR-CAST :%TYPE-CHECK NIL :VALUE #<SB-C::LVAR 1 {10068998C3}> :ASSERTED-TYPE #<SB-KERNEL:FUN-DESIGNATOR-TYPE (SB-KERNEL:FUN..
  2: (SB-C::FIND-BLOCK-TYPE-CONSTRAINTS #<SB-C::CBLOCK 8 :START c6 {10068AD253}> NIL)
  3: (SB-C::FIND-AND-PROPAGATE-CONSTRAINTS #<SB-C:COMPONENT :NAME (LAMBDA (&REST R)) {10068A2A93}>)
  4: (SB-C::CONSTRAINT-PROPAGATE #<SB-C:COMPONENT :NAME (LAMBDA (&REST R)) {10068A2A93}>)
  5: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME (LAMBDA (&REST R)) {10068A2A93}>)
  6: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA (&REST R)) {10068A2A93}>)
[...]

[Paul F. Dietz (paul-f-dietz)]

(lambda (&rest r) (delete-if #'< r)) also fails, but not with #'<= or #'>=. The equivalent forms with delete-if-not all compile without error.

[Stas Boukarev (stassats)]

0bc50dc2cc2da1a1b46ece922e22455c6c2f7077