The descriptions of the wanting in the OP seem to be about the inner optimizer doing the execution, though. That’s the distinction I want to make—confusing that for not-an-inner-optimizer seems importantly bad.
The descriptions of the wanting in the OP seem to be about the inner optimizer doing the execution, though. That’s the distinction I want to make—confusing that for not-an-inner-optimizer seems importantly bad.