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

Subject: Re: [boost] [contract] extra type requirements for contracts
From: Brent Spillner (spillner_at_[hidden])
Date: 2011-09-23 02:14:20

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==.