completing-read case problem

[Markus Rost]

Evaluate the following form

(let ((completion-ignore-case t))
  (completing-read "Give me ABC: "
                   obarray
                   (lambda (symbol)
                     (message "Symbol: %s" symbol)
                     (member (symbol-name symbol) (list "abc"))
                   )
                   t
                   ))

and in the minibuffer enter

ABC [return]

You a get a [No match].  That's fine.  Leave with C-g.

Next evaluate

(put 'abc 'some-prop nil)

[which puts 'abc into `obarray'] and repeat the first procedure.  The
result will be

==> "ABC"

I guess that is incorrect, the result should be "abc".

Further evaluate

(put 'ABC 'some-prop nil)

[which puts 'ABC into `obarray'] and repeat the first procedure.  The
result will be

==> "abc"

This seems correct to me.  Anyway, there is an obvious inconsistency
in the last two results.

In GNU Emacs 21.3.50.2 (i686-pc-linux-gnu, X toolkit, Xaw3d scroll bars)
 of 2004-11-09 on haifa

(This is the current CVS version)