Ok, good, you gave the same answers I was hoping for. :-)
On Jun 16, 2006, at 10:51 AM, Joseph S. Myers wrote:
But the definition in terms of contained declarators hardly makes things clear. I would say, however, that while VM-ness shouldn't propagate out from function argument types to the type of the function, it should so propagate from the function return type to the type of the function.
:-) I agree, though, the standard should contain wording to directly support this, long term. I do think it is what they meant, even if they might not have known it. This would be my request for a DR on the issue...
Thanks.
