syntax_data: {"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"traits::Obligation::with_depth("}]}
source_snippet:                 traits::Obligation::with_depth(
context_before:                 let cause = self.cause(code);
context_after:                     self.tcx(),