syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"predicate:"}]}
source_snippet:             predicate: ty::Binder::dummy(obligation.predicate),
context_before:             param_env: obligation.param_env,
context_after:             recursion_depth: obligation.recursion_depth,