Of course, seconds after submitting what I thought I had thoroughly reviewed, I noted that my report is incomplete: If the function ALIST-FETCH is also annotated with a function ftype declaration, all three TEST functions compile without a note. But I don't think that explains the variations in the original test case.
Of course, seconds after submitting what I thought I had thoroughly reviewed, I noted that my report is incomplete: If the function ALIST-FETCH is also annotated with a function ftype declaration, all three TEST functions compile without a note. But I don't think that explains the variations in the original test case.