Comment 10 for bug 942237

Well...

we could add a declaration along the lines of

  (let ((s nil))
    (declare (string s))
    (declare (sb-c::aggressively-ignorable s))
    ...)

which would mean that the compiler should silently ignore conflicting declarations if the variable is lexical and unused except for the initial binding to a constant value...

But I'm not sure that such a good idea. :)

Point taken.