failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE))

[Paul F. Dietz]

(defun f335 (a b c)
   (declare (notinline elt logior))
   (logior
    (if c
        (the integer (elt '(10 20) a))
        (let* ((v1 (loop for lv1 below 3 count t)))
          (declare (dynamic-extent v1))
          v1))))

==>

failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE))
[...]
  0: (SB-C::IR2-CONVERT-CAST #<SB-ALIEN:CAST :%TYPE-CHECK :EXTERNAL :VALUE #<SB-C::LVAR 1 {103749D393}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-TYPE (MOD 4611686018427387901)> :TYPE-TO-CHECK #1# {10374A6C23}..
  1: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 12 :START c2 {103749CA23}>)
  2: (SB-C:IR2-CONVERT #<SB-C:COMPONENT :NAME F335 {10374A5C23}>)
  3: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME F335 {10374A5C23}>)
[...]

[Stas Boukarev (stassats)]

87ce6b089e193943a68b9e3e660f50e4aa154e41