5 Oct
2012
5 Oct
'12
11:59 p.m.
common_type<T, U>::type is defined in a way that gives a hard compiler error if T and U do not have a common type (this is also how common_type is implemented in C++11).
Sorry. This discussion slipped under my radar. I had to do this too. Implementation is here, starting around line 380: http://code.google.com/p/origin/source/browse/trunk/origin/type/traits.hpp I used this library to test the concepts we wrote in n3351, although that specific work was moved to a branch or the sandbox a while ago. I forget. Andrew