Re: [Boost-bugs] [Boost C++ Libraries] #4301: and_<true_>::type is false_

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #4301: and_<true_>::type is false_
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2010-12-30 14:39:48

#4301: and_<true_>::type is false_
--------------------------------------+-------------------------------------
  Reporter:  mstefanro                |       Owner:  jfalcou
      Type:  Bugs                     |      Status:  new    
 Milestone:  Boost 1.46.0             |   Component:  mpl    
   Version:  Boost Development Trunk  |    Severity:  Problem
Resolution:                           |    Keywords:         
--------------------------------------+-------------------------------------
Changes (by wash):

 * cc: admin@… (added)
  * owner:  agurtovoy => jfalcou
  * version:  Boost 1.44.0 => Boost Development Trunk
  * severity:  Cosmetic => Problem
  * milestone:  Boost 1.43.0 => Boost 1.46.0

Comment:

 Confirmed, this is still a problem, possibly a problem with other binary
 logical operations too. I think we need to prohibit an unary and_
 entirely. This reproduces the problem:

 {{{

 #include <boost/mpl/assert.hpp>
 #include <boost/mpl/bool.hpp>
 #include <boost/mpl/and.hpp>

 int main (void) {
   using boost::mpl::and_;
   using boost::mpl::true_;

   BOOST_MPL_ASSERT((and_<true_>));
 }

 }}}

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/4301#comment:2>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.