Subject: Re: [Boost-bugs] [Boost C++ Libraries] #816: duplicat initial members -> erase_key postcond. fail
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2007-08-19 15:37:45
#816: duplicat initial members -> erase_key postcond. fail
-------------------------------+--------------------------------------------
Reporter: cppljevans | Owner: agurtovoy
Type: Support Requests | Status: assigned
Milestone: | Component: mpl
Version: None | Severity: Problem
Resolution: None | Keywords:
-------------------------------+--------------------------------------------
Changes (by marshall):
* component: None => mpl
* severity: => Problem
Old description:
> {{{
> has_key<erase_key<set<T,T>,T>::type>type::value==true
> in violation of Postcondition on
> http://www.boost.org/libs/mpl/doc/refmanual/erase-key.html .
>
> }}}
New description:
{{{
has_key<erase_key<set<T,T>,T>::type>type::value==true
in violation of Postcondition on
http://www.boost.org/libs/mpl/doc/refmanual/erase-key.html .
}}}
--
Ticket URL: <http://svn.boost.org/trac/boost/ticket/816#comment:2>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.
This archive was generated by hypermail 2.1.7 : 2017-02-16 18:49:56 UTC