expand_invoke: completed design decision for new resolution rules