The user-defined operator case in trans::base::trans_assign_op passes an expr evaluating to the callee's address, rather than the callee address, to trans_call_inner. Since the callee is known, this should be the statically known callee address (as per a FIXME).