[boost] constrained_value redundant check?

From: Neal Becker (ndbecker2_at_[hidden])
Date: 2008-05-20 14:05:43

   constrained & operator = (const value_type & v)
    {
        if(constraint()(v))
            _value = v;
        else
            error_handler()(_value, v, _constraint());

        BOOST_ASSERT(_check_value());  << Isn't this redundant?
        return *this;
    }
 
Maybe this should be:

  constrained & operator = (const value_type & v)
    {
        if(constraint()(v))
            _value = v;
        else {
            error_handler()(_value, v, _constraint());

            BOOST_ASSERT(_check_value());
        }
        return *this;
    }