(or end length)
(sequence-bounding-indices-bad-error vector start end)))))
-(deftype eq-comparable-type ()
+(def!type eq-comparable-type ()
'(or fixnum (not number)))
;;; True if EQL comparisons involving type can be simplified to EQ.
(vector t &key (:start t) (:end t))
*
:node node)
- (let* ((element-ctype (extract-upgraded-element-type seq))
+ (let* ((type (lvar-type seq))
+ (element-ctype (array-type-upgraded-element-type type))
(element-type (type-specifier element-ctype))
- (type (lvar-type seq))
(saetp (unless (eq *wild-type* element-ctype)
(find-saetp-by-ctype element-ctype))))
(cond ((eq *wild-type* element-ctype)