[C++ PATCH]: Fix bug 3624

[Jason Merrill]

>>>>> "Mark" == Mark Mitchell <mark@codesourcery.com> writes:

> Yes.  As a long-term goal, we should actually make the type
> of each expression match what the standard says it should be.  (And,
> of course, the standard says that there are no expressions with
> reference type.)  There are some tricky bits in the compiler where we get
> things wrong because of issues like these.

Agreed.

Jason