id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
6754,[result_of] Test fails on clang trunk and gcc-4.7,Michel Morin,Daniel Walker,"In C++11, when a function call expression `EXPR` is a prvalue of non-class types, 
`decltype(EXPR)` does not have cv-qualifiers. 
This is because
* `decltype(EXPR)`is the type of `EXPR` when a function call expression `EXPR` is a prvalue;
*  a prvalue of non-class types is never cv-qualified.
So, for ""`const int f();`"", `decltype(f())` is `int`. 

Because this rule was introduced at the last minute of the C++11 standardization process,
only a few compilers implement it for now: clang trunk (which will be clang-3.1) and gcc-4.7. 
On those compilers in a C++11 mode, the test fails with the following errors. 
1. result_of_test.cpp:210:3: error: static assertion failed:
{{{
(is_same<result_of<const
result_of_member_function_template(double)>::type, const
double>::value)
}}}
2. result_of_test.cpp:211:3: error: static assertion failed:
{{{
(is_same<result_of<volatile
result_of_member_function_template(double)>::type, volatile
double>::value)
}}}
3. result_of_test.cpp:212:3: error: static assertion failed:
{{{
(is_same<result_of<const volatile
result_of_member_function_template(double)>::type, const volatile
double>::value)
}}}
4. result_of_test.cpp:239:3: error: static assertion failed:
{{{
(is_same<result_of<const volatile
no_result_type_or_result_of(void)>::type, const unsigned
short>::value)
}}}
5. result_of_test.cpp:244:3: error: static assertion failed:
{{{
(is_same<result_of<const volatile
no_result_type_or_result_of_template<void>(void)>::type, const
unsigned short>::value)
}}}",Bugs,closed,To Be Determined,utility,Boost Development Trunk,Problem,fixed,C++11,