syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// message. Do not call directly unless you're in that very specific context.
context_before: /// this query can be re-run to better track the span of the obligation cause, and improve the error
context_after: pub fn type_op_prove_predicate_with_cause<'tcx>(