From: Doug Gregor (dgregor_at_[hidden])
Date: 2007-11-26 09:50:06


On Nov 26, 2007, at 6:35 AM, shunsuke wrote:
> What happens if result_of is not consistent with decltype?
> [snip example]

TR1 (and the C++0x working paper) say that the program is ill-formed
if result_of<...>::type isn't the same as the return type of the
corresponding expression.

        - Doug