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