{"ast_node_type":"variable","tokens":[{"end":57,"kind":"keyword","start":0,"text":"let"}]}
        let InferOk { value: result_args, obligations } =
    {
            self.query_response_instantiation(cause, param_env, original_values, query_response)?;