STRING-RIGHT-TRIM computing incorrect result with type declaration of parameter

[Paul F. Dietz]

(defun bug233 ()
  (let ((lam
          '(lambda (s)
            (declare (type (simple-array *) s))
            (string-right-trim "" s))))
    (funcall (compile nil lam) "abc")))

(bug233) ==> ""
(string-right-trim "" "abc") ==> "abc"
(typep "abc" '(simple-array *)) ==> T

x86-64, "2.3.8.139-59cbece16"

[Stas Boukarev (stassats)]

Can you try after 9ac1dcb65e5917ae269edf4fa7a8520ffef1bd1e ?

[Paul F. Dietz (paul-f-dietz)]

It seems fixed.