clauses in restart-case incorrectly reject duplicate doc strings

[Paul F. Dietz]

(restart-case (foo) (my-restart (x) "foo" "bar" x))

===>

duplicate doc string "bar"
   [Condition of type SIMPLE-ERROR]

However, these clauses are specified to contain a declaration*, not a [[ declaration* | documentation ]], so the strings there are not docstrings. This is similar to how

(let ((x 1)) "foo" "bar" x)

is not erroneous.

[Stas Boukarev (stassats)]

dac12c7407e364c714311b1c6fc1f9559909996f