syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"(obligation.predicate.trait_ref,"}]}
source_snippet:                     (obligation.predicate.trait_ref, found_trait_ref),
context_before:                     obligation.recursion_depth + 1,
context_after:                 )