Since the container is intended to have a max width, it's a requirement
that the child of the container request a lower minimum size than the
set maximum width, otherwise underallocation happen and there are visual
glitches.

To catch errors in this code, make sure to warn in case the invariant
fails.