Relax an assertion constraint that is not true when fat pointers are
involved.