I'm using the latest SBCL.
Here's the test case:
(defun foo (x)
(loop for i from 0 below (length x)
for vec of-type vector = (aref x i)
It cannot be compiled. And when I wanted to expand the loop form, an
error occurred and said:
VALUES type illegal in this context:
[Condition of type SIMPLE-ERROR]
I think it might be a bug of wrong expansion of type specifier in loop
otherwise there should be no * in the form.