syntax_data: {"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"debug!(obligations"}]}
source_snippet:     debug!(obligations = ?wf.out);
context_before:     wf.add_wf_preds_for_trait_pred(trait_pred, Elaborate::All);
context_after:     wf.normalize(infcx)