I forgot to mention that (locally (declare (ignore non-existent-variable))) (and ignorable) exhibit exactly the behavior I'd expect:
"STYLE-WARNING: declaring unknown variable NON-EXISTENT-VARIABLE to be ignored"
I forgot to mention that (locally (declare (ignore non-existent- variable) )) (and ignorable) exhibit exactly the behavior I'd expect:
"STYLE-WARNING: declaring unknown variable NON-EXISTENT- VARIABLE to be ignored"