generalized lvalues -- patch outline

[Gabriel Dos Reis]

"Joseph S. Myers" <joseph@codesourcery.com> writes:

| Write down the textual amendments to C99+TC1+TC2 and C++03 which would 
| introduce your feature.  Examine *every* reference to "lvalue" in either 
| of those standards and explain how your changes interact with that 
| reference.  That's a *minimum* of analysis that would be needed for this.

I reiterate my opposing to this cast-as-lvalue abomination.  

At any rate, he should explain why and how that abomination is
different from or equal to the semantics of reinterpret_cast<>.
Furthermore, he should articulate clearly how that abomination
interacts with the semantics of "old-style" casts -- which are defined
in C++ in terms of the "new-style" casts.

| People don't need to have read the standards to be aware that casts aren't 
| lvalues; for example, having read K&R would suffice.  I don't think we 
| should accept random junk just because someone who hasn't familiarised 
| themselves with the language might throw it at the compiler: we should 
| inform them of the problem with their code and thereby help them to learn 
| the languages better.

100% agreed.

-- Gaby