{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"if"}]}
            if !self.check_argument_compat(&caller_fn_abi.ret, &callee_fn_abi.ret)? {
            // Don't forget to check the return type!
                throw_ub!(AbiMismatchReturn {