[Bug c++/50711] [C++0x] substitution failure reports error with result_of

2011-10-13 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50711 Paolo Carlini changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|

[Bug c++/50711] [C++0x] substitution failure reports error with result_of

2011-10-13 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50711 --- Comment #5 from Jonathan Wakely 2011-10-13 08:19:28 UTC --- (In reply to comment #4) > result_of cannot be used for SFINAE, it requires that its arguments be a valid > expression Should read: it requires that its arguments can form a valid e

[Bug c++/50711] [C++0x] substitution failure reports error with result_of

2011-10-13 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50711 --- Comment #4 from Jonathan Wakely 2011-10-13 08:18:07 UTC --- See http://lwg.github.com/issues/lwg-defects.html#1225 and also 1270 result_of cannot be used for SFINAE, it requires that its arguments be a valid expression

[Bug c++/50711] [C++0x] substitution failure reports error with result_of

2011-10-12 Thread jarrydb at cse dot unsw.edu.au
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50711 --- Comment #3 from Jarryd Beck 2011-10-13 03:32:05 UTC --- The following code works: struct Tuple { int a, b, c; }; struct array_get { template const T& operator()(const T& t) { return t; } template auto operator()(con

[Bug c++/50711] [C++0x] substitution failure reports error with result_of

2011-10-12 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50711 --- Comment #2 from Paolo Carlini 2011-10-13 02:19:27 UTC --- Eg, if you simply open the header you will find plenty of decltype( std::declval... for sfinae, which cannot be replaced by a concise std::result_of

[Bug c++/50711] [C++0x] substitution failure reports error with result_of

2011-10-12 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50711 Paolo Carlini changed: What|Removed |Added CC||daniel.kruegler at |