It sounds more like a side effect than a bug. Both domains have conflicting policies. He wants any Gmail user to be able to impersonate a sender from his domain

It sounds more like a side effect than a bug. Both domains have conflicting policies. He wants any Gmail user to be able to impersonate a sender from his domain, but not in a way Gmail supports.