syntax_data: {"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// The core of the `type_op_prove_predicate` query: for diagnostics purposes in NLL HRTB errors,
context_after: /// this query can be re-run to better track the span of the obligation cause, and improve the error