{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"//"}]}
        // by `result_args`.
        // `query_response.var_values` after applying the instantiation
        let instantiated_query_response = |index: BoundVar| -> GenericArg<'tcx> {