{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    ///   `infcx`) along with the fully resolved value `answer` into a
    ///   package up any resulting region obligations (extracted from
    ///   query result (which is then itself canonicalized).