Dave Abrahams wrote
Actually it checks that there exists an operator+ from T non-const lvalue x T non-const lvalue to U, where U is convertible to T const&
Got it. That works for me but I might change the T non-const lvalue to T const&. For curiosity, is there a way to program the concept ruling out the implicit conversion from U to T const&?
maybe the Sun's linker errors below are from something else (I've changed a regression test to get more info when it cycles tomorrow).
I don't know, but it seems unlikely. Probably Sun's linker just needs a body for return_type().
Indeed that was the case :( --Lorenzo -- View this message in context: http://boost.2283326.n4.nabble.com/boost-concept-check-addable-tp4572138p458... Sent from the Boost - Dev mailing list archive at Nabble.com.