Created on 2014-05-06.00:00:00 last changed 73 months ago
Rationale (June, 2014):
This request for a language extension should be evaluated by EWG before any action is taken.
There does not seem to be any significant technical obstacle to allowing a void* pointer to be dereferenced, and that would avoid having to use weighty circumlocutions when casting to a reference to an object designated by such a pointer.
|2014-07-07 00:00:00||admin||set||messages: + msg5121|
|2014-07-07 00:00:00||admin||set||status: open -> extension|