From: David Abrahams (dave_at_[hidden])
Date: 2006-07-28 08:10:24
"Andy Little" <andy_at_[hidden]> writes:
> A bool_ is stated to be a model of Integral Constant, but it patently doesnt and
> can never meet the next / prior requirements.
Well, that's not strictly true. false_ and true_ can meet the
next/prior requirements just as well as int_<INT_MIN> and
int_<INT_MAX> can.
Any bounded type has the same problem; maybe we need to be more
precise about what happens at the endpoints of the range.
-- Dave Abrahams Boost Consulting www.boost-consulting.com