Re: [boost] [contract] extra type requirements for contracts

On Thu, 22 Sep 2011 10:30:14 lcaminiti wrote:

I think this can be achieved with my previous "option 2" suggestion:

namespace dummy { template< typename L, typename R> bool operator== ( L const&, R const& ) { return true; } }

postcondition( using dummy::operator==, back() == value )

This will fail if L has a private (or protected) operator==.