An implementation of the constraints checks described on pg. 716 of The C++ Programming Language, 4th Edition