Sanity check on conflicting constraint case.