{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"///"}]}
    /// it returns its result differently:
    /// basic operations as `instantiate_query_response_and_region_obligations` but
    ///