{"ast_node_type":"variable","tokens":[{"end":82,"kind":"keyword","start":0,"text":"let"}]}
        let callee_fn_abi = self.fn_abi_of_instance(instance, ty::List::empty())?;
        // FIXME: for variadic support, do we have to somehow determine callee's extra_args?