I see now. The signature itself would only require that the values passed in are not equal, not that the range doesn’t overlap. If that indeed was his criticis

I see now. The signature itself would only require that the values passed in are not equal, not that the range doesn’t overlap. If that indeed was his criticism, that’s easily fixable. The standard could simply add language that says “noalias” must be true for the whole range of the array. Maybe that would prevent other practical use cases. I think his consistency argument is more powerful, if maybe less practical.