- (make-canonical-union-type (list (continuation-type x)
- (continuation-type y)))))))
-
-(deftransform max ((x y) (number number) * :when :both)
- (let ((x-type (continuation-type x))
- (y-type (continuation-type y))
- (signed (specifier-type '(signed-byte #.sb!vm:n-word-bits)))
- (unsigned (specifier-type '(unsigned-byte #.sb!vm:n-word-bits)))
+ (make-canonical-union-type (list (lvar-type x)
+ (lvar-type y)))))))
+
+(deftransform max ((x y) (number number) *)
+ (let ((x-type (lvar-type x))
+ (y-type (lvar-type y))
+ (signed (specifier-type '(signed-byte #.n-word-bits)))
+ (unsigned (specifier-type '(unsigned-byte #.n-word-bits)))